#dev 2017-06-19

2017-06-19 UTC

sebsel sknebel Yeah, but that would require an edit in an extra file. The <?php die() ?> thing could be managed from the single file. You still need read/write rights tho.