edit/page: ignore missing edit target
[minimedit.git] / edit / index.php
1 <?php
2 if (!$User) return;
3 abort("aanpasdienst onbekend", '404 unknown');