diff options
author | Andreas Gohr <andi@splitbrain.org> | 2020-06-30 09:20:35 +0200 |
---|---|---|
committer | Andreas Gohr <andi@splitbrain.org> | 2020-06-30 09:20:35 +0200 |
commit | 09f71c987abd45025ea27304db9be5673dbac0ea (patch) | |
tree | e5f81de4253c9f0c85b6474c3e6b42369215905e /index.php | |
parent | d40ef125fc9728359d0e2d3f2dfb7f867491a679 (diff) | |
download | dokuwiki-09f71c987abd45025ea27304db9be5673dbac0ea.tar.gz dokuwiki-09f71c987abd45025ea27304db9be5673dbac0ea.zip |
simplified boolean expression
Diffstat (limited to 'index.php')
-rw-r--r-- | index.php | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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']; } |