kremsy 6bb13fb2df begin Maplist widget		2013-12-14 22:00:59 +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	begin Maplist widget	2013-12-14 22:00:59 +01:00