Steffen Schröder 30717ce343 script settings and plugin configurators improvements		2013-12-12 19:41:37 +01:00
..
Plugin.php	plugin interface id	2013-12-09 10:04:22 +01:00
PluginManager.php	script settings and plugin configurators improvements	2013-12-12 19:41:37 +01:00
PluginMenu.php	script settings and plugin configurators improvements	2013-12-12 19:41:37 +01:00