Shish a7bddb1dac get rid of is_admin, fixes #676

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

..

info.php

ExtensionInfo conversions what have I done

2019-08-07 15:40:01 -05:00

main.php

get rid of is_admin, fixes #676

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

script.js

add resize/script.js

2017-09-17 15:09:25 +01:00

theme.php

New Graphics extension

2019-07-08 08:07:02 -05:00