kremsy a77b901f78 not working ui property manager update start		2017-04-21 21:09:21 +02:00
..
CustomUIManager.php	not working ui property manager update start	2017-04-21 21:09:21 +02:00
IconManager.php	add UsageInformation Interface to every class which can be used by Plugin Authors	2017-03-26 19:44:55 +02:00
LabelLine.php	Added search feature to map list	2017-04-12 17:56:43 +02:00
ManialinkManager.php	Added search feature to map list	2017-04-12 17:56:43 +02:00
ManialinkPageAnswerListener.php	update copyright label	2017-02-04 11:49:23 +01:00
StyleManager.php	Added search feature to map list	2017-04-12 17:56:43 +02:00