if (!$User or !$User->admin("edit $Page$Args"))
abort("geen beheersrechten", '401 unauthorised');
if (!$User or !$User->admin("edit $Page$Args"))
abort("geen beheersrechten", '401 unauthorised');
if (preg_match('{^\.}', $filename))
abort("ongeldige bestandsnaam: $filename", '403 input error');
if (preg_match('{^\.}', $filename))
abort("ongeldige bestandsnaam: $filename", '403 input error');
if (file_exists($filename) and !is_writable($filename))
abort("onwijzigbaar bestand: $filename", '403 input error');
if (file_exists($filename) and !is_writable($filename))
abort("onwijzigbaar bestand: $filename", '403 input error');