Matt DeMoss 0936a6cdb2 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.

2018-02-19 15:36:18 +01:00

14 KiB

Executable File

Raw Blame History

View Raw