steeffeen 5066d31ca5 improved add & erase buttons		2014-07-05 12:50:26 +02:00
..
CustomUIManager.php	removed old php 5.3 compatibility code	2014-06-17 23:27:28 +02:00
IconManager.php	moved core callbacks constants into callbacks interface	2014-05-24 16:39:12 +02:00
ManialinkManager.php	improved phpdoc	2014-05-27 22:21:17 +02:00
ManialinkPageAnswerListener.php	applied common formatting	2014-05-02 17:50:30 +02:00
StyleManager.php	improved add & erase buttons	2014-07-05 12:50:26 +02:00