green-ponies (jgen) 30eb5ddd8b More type hints!

2012-02-09 23:04:37 -05:00

..

main.php

remove regular Extension, have SimpleExtension take its place, optimise the event system based on SimpleExtension methods

2012-02-08 12:07:01 +00:00

theme.php

More type hints!

2012-02-09 23:04:37 -05:00