diff options
Diffstat (limited to 'pages/edit.inc')
| -rw-r--r-- | pages/edit.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pages/edit.inc b/pages/edit.inc index 8be6730..4333044 100644 --- a/pages/edit.inc +++ b/pages/edit.inc @@ -21,7 +21,7 @@ $parts = explode("/", $_GET['_']); array_shift($parts); array_shift($parts); $system = $parts[0]; -$member = ($parts[1] ?? null) === "" ? null : $parts[1]; +$member = !isset($parts[1]) || $parts[1] === "" ? null : $parts[1]; if ($system !== "cloudburst" && $system !== "raindrops") header("Location: /?error=Invalid system name: " . $system) and die(); $systemCommonName = $system === "cloudburst" ? "Cloudburst System" : "Raindrops System"; |