aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/index.php
diff options
context:
space:
mode:
authorAndreas Gohr <andi@splitbrain.org>2020-06-30 09:20:35 +0200
committerAndreas Gohr <andi@splitbrain.org>2020-06-30 09:20:35 +0200
commit09f71c987abd45025ea27304db9be5673dbac0ea (patch)
treee5f81de4253c9f0c85b6474c3e6b42369215905e /index.php
parentd40ef125fc9728359d0e2d3f2dfb7f867491a679 (diff)
downloaddokuwiki-09f71c987abd45025ea27304db9be5673dbac0ea.tar.gz
dokuwiki-09f71c987abd45025ea27304db9be5673dbac0ea.zip
simplified boolean expression
Diffstat (limited to 'index.php')
-rw-r--r--index.php2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.php b/index.php
index c9513b2fa..da3abe6b5 100644
--- a/index.php
+++ b/index.php
@@ -69,7 +69,7 @@ if (preg_match('/^\/_media\/(.*)/', $_SERVER['SCRIPT_NAME'], $m)) {
$request_path = preg_split('/\?/', $_SERVER['REQUEST_URI'], 2)[0];
if (isset($_SERVER['PATH_INFO'])) {
$_GET['id'] = $_SERVER['PATH_INFO'];
- } elseif (!($request_path == '/' || $request_path == '/index.php')) {
+ } elseif ($request_path != '/' && $request_path != '/index.php') {
$_GET['id'] = $_SERVER['SCRIPT_NAME'];
}