Steffen Schröder d531d97366 - static getTitle() function of configurator menu interface ... - removed reopenMenu() configurator function - use more intelligent showMenu() function		2014-07-24 23:15:25 +02:00
..
InstallMenu.php	- static getTitle() function of configurator menu interface	2014-07-24 23:15:25 +02:00
Plugin.php	Revert "phpdoc change"	2014-05-19 16:42:48 +02:00
PluginManager.php	check for plugins directory existence before scanning it	2014-07-04 21:17:53 +02:00
PluginMenu.php	- static getTitle() function of configurator menu interface	2014-07-24 23:15:25 +02:00