kremsy f83640179d add UsageInformation Interface to every class which can be used by Plugin Authors		2017-03-26 19:44:55 +02:00
..
CustomUIManager.php	add UsageInformation Interface to every class which can be used by Plugin Authors	2017-03-26 19:44:55 +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
ManialinkManager.php	add UsageInformation Interface to every class which can be used by Plugin Authors	2017-03-26 19:44:55 +02:00
ManialinkPageAnswerListener.php	update copyright label	2017-02-04 11:49:23 +01:00
StyleManager.php	add UsageInformation Interface to every class which can be used by Plugin Authors	2017-03-26 19:44:55 +02:00