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

theme.php

formatting

2019-09-29 14:30:55 +01:00