Shish aceb3e23f3 remove redundant casts

2020-10-26 23:18:14 +00:00

..

info.php

Changed a bunch of core extensions to be hidden since there's nothing to interact with

2020-06-22 18:02:47 +01:00

main.php

remove redundant casts

2020-10-26 23:18:14 +00:00