8 commits

Author	SHA1	Message	Date
Michael Große	22dab1a51e	Fix link to do-dashboard per the plugins config ... SPR-931	2017-04-19 14:57:28 +02:00
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
Michael Große	e302d67fb6	Remove references to removed options ... In commit cb7cc643bf the other options were removed, as discussed. This commit now removes references to these options from the codebase. SPR-754	2017-04-18 13:24:33 +02:00
Silke Pisulla	31170e6e05	SPR-863: better order for usertool icons	2017-03-21 15:23:28 +01:00
Andreas Gohr	a1de3dc148	added type ints for other plugins	2017-02-14 10:21:20 +01:00
Andreas Gohr	9281ecfa76	fixed line endings CRLF -> LF	2017-02-09 17:48:44 +01:00
Jana Deutschländer	1b899691a7	Vorbereitung sprint meeting	2017-01-10 09:18:01 +01:00
Jana Deutschländer	646345133d	side-tools, user links, admin panel	2017-01-05 13:38:12 +01:00

Renamed from tpl/nav-usertools.php (Browse further)