Shish c58a13ae88 formatting

2019-11-03 18:28:38 +00:00

..

info.php

remove extension metadata comments (we have metadata objects now)

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

main.php

formatting

2019-11-03 18:28:38 +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