Michael Große 270380eb00 Remove $showTools, because it is set to true ... Since the config-option for hide-tools no longer exists, this variable has become superflous.		2017-04-18 13:48:52 +02:00
..
favicon_tiles.php	Remove references to removed options	2017-04-18 13:24:33 +02:00
main-sidebar-logo.php	fix mobile sidebar not shown if there is no logo	2017-04-10 16:37:54 +02:00
main-sidebar-nav.php	Merge remote-tracking branch 'origin/mobilesidebar'	2017-03-02 12:11:51 +01:00
main-sidebar-search.php	made search toggle translatable	2017-02-22 14:17:33 +01:00
nav-breadcrumb.php	fixed line endings CRLF -> LF	2017-02-09 17:48:44 +01:00
nav-direct.php	SPR-797 fix ID uniqueness	2017-02-13 16:53:06 +01:00
nav-magicmatcher.php	SPR-797 fix ID uniqueness	2017-02-13 16:53:06 +01:00
nav-meta-box.php	Do not show a tab if the content is falsy	2017-03-16 13:25:51 +01:00
nav-page-quality-tasks.php	added type ints for other plugins	2017-02-14 10:21:20 +01:00
nav-page-tools.php	Remove $showTools, because it is set to true	2017-04-18 13:48:52 +02:00
nav-status.php	fixed line endings CRLF -> LF	2017-02-09 17:48:44 +01:00
nav-usertools-buttons.php	Remove $showTools, because it is set to true	2017-04-18 13:48:52 +02:00