Shish d17e207984 Have get_arg never return null ...

90% of places assume it will never return null, and they will break in
weird ways if it does return null

2019-11-04 00:40:10 +00:00

..

info.php

remove extension metadata comments (we have metadata objects now)

2019-11-02 20:19:09 +00:00

main.php

Have get_arg never return null

2019-11-04 00:40:10 +00:00

script.js

jQuery.cookie is deprecated so use js-cookie instead (+ composer), some js tweaking too

2016-06-18 06:27:32 +01:00

style.css

pools css should be in it's own folder, not the themes

2014-05-30 00:23:12 +01:00

test.php

PSR-2. I'm not a huge fan, but ugly consistency beats no consistency...

2019-05-28 17:59:38 +01:00

theme.php

get rid of is_admin, fixes #676

2019-09-29 19:01:09 +01:00