diff options
| author |  Matt DeMoss <demoss.matt@gmail.com>
| 2018-02-19 09:36:18 -0500 |
|---|---|---|
| committer |  Alexandre Alapetite <alexandre@alapetite.fr>
| 2018-02-19 15:36:18 +0100 |
| commit | 0936a6cdb2005e325d3be98e42897eb7a42541c7 (patch) | |
| tree | 328bac3a24a60c75e82428ea06f46a1df4799b5a /config-user.default.php | |
| parent | c79b8fb46e25cd513799224b83cb93282c3a8e26 (diff) | |
Option to hide nav_entries (#1764)
* put nav_entries in a div so they can be hidden, add config option, no labels yet
* add English text for hide_nav_entries, choose better name
* Update conf.php
add comma to last item
* hide nav_entries by optionally not rendering in normal.phtml
* fix logic, remove containing div
* apply phpcbf to ConfigurationSetter.php
* Make navigation buttons options positive
And add TODOs for i18n, and add default config.
Diffstat (limited to 'config-user.default.php')
| -rw-r--r-- | config-user.default.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config-user.default.php b/config-user.default.php index 2e4a96239..5e67d8d9b 100644 --- a/config-user.default.php +++ b/config-user.default.php @@ -76,5 +76,6 @@ return array ( 'queries' => array ( ), 'html5_notif_timeout' => 0, + 'show_nav_buttons' => true, 'extensions_enabled' => array(), ); |