kremsy 1c0dd7e83d removed old timed callbacks		2014-05-01 17:35:10 +02:00
..
CustomUIManager.php	removed old timed callbacks	2014-05-01 17:35:10 +02:00
IconManager.php	imrproved mxinfo	2014-05-01 17:35:08 +02:00
ManialinkManager.php	fix queue plugin	2014-05-01 17:35:09 +02:00
ManialinkPageAnswerListener.php	Removed Closing PHP Tags	2013-12-15 09:00:30 +01:00
StyleManager.php	cleanup	2014-05-01 17:35:08 +02:00