diff options
| author | 2016-08-18 23:14:06 +0200 | |
|---|---|---|
| committer | 2016-08-18 23:14:06 +0200 | |
| commit | cae6f9230581e2c07c64f2bbb8d164eb2e2030ee (patch) | |
| tree | 4a06cba19e0670106aca1862afac7efbd5791f28 /app/layout | |
| parent | ca8d49c3777c3a1134616561d34d00c7e536336f (diff) | |
| parent | 4271e437c1fbe1a45d43bec33994f7a8dd31732e (diff) | |
Merge branch 'dev' of https://github.com/FreshRSS/FreshRSS into FreshRSS/dev
Diffstat (limited to 'app/layout')
| -rw-r--r-- | app/layout/nav_menu.phtml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/layout/nav_menu.phtml b/app/layout/nav_menu.phtml index 488c6fdef..23255f04f 100644 --- a/app/layout/nav_menu.phtml +++ b/app/layout/nav_menu.phtml @@ -75,6 +75,8 @@ 'get' => $get, 'nextGet' => FreshRSS_Context::$next_get, 'idMax' => FreshRSS_Context::$id_max, + 'search' => FreshRSS_Context::$search, + 'state' => FreshRSS_Context::$state, ) ); ?> |
