diff options
-rw-r--r-- | common.php | 16 |
1 files changed, 13 insertions, 3 deletions
@@ -10,7 +10,17 @@ $root = (!empty($_SERVER['HTTPS']) ? 'https' : 'http') . '://' . $_SERVER['HTTP_HOST']; $manpath = "/usr/share/man"; - $action = trim(urldecode($_GET['action'] ?? null)); - $query = trim(urldecode($_GET['query'] ?? null)); - $section = trim(urldecode($_GET['section'] ?? null)); + $action = trim($_GET['action'] ?? null); + $query = trim($_GET['query'] ?? null); + $section = trim($_GET['section'] ?? null); + + + /* + function dbg_print($data) + { + $output = $data; + if(is_array($output)) $output = implode(',', $output); + echo "<script>console.log('srv => " . $output . "' );</script>"; + } + */ ?> |