diff options
| author | msquare <msquare@notrademark.de> | 2016-08-22 20:40:31 +0200 |
|---|---|---|
| committer | msquare <msquare@notrademark.de> | 2016-08-22 20:40:31 +0200 |
| commit | 9e884bb4447778f7e5aa70112fbc8dd2ccaa8e4a (patch) | |
| tree | 7b6cbe3e239e1d5130346ae2de6db7b06767de4e /includes/sys_page.php | |
| parent | 3f4be08865296431d070e4386a252dac84d528ec (diff) | |
remove unused code
Diffstat (limited to 'includes/sys_page.php')
| -rw-r--r-- | includes/sys_page.php | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/includes/sys_page.php b/includes/sys_page.php index 5a582c39..6863c517 100644 --- a/includes/sys_page.php +++ b/includes/sys_page.php @@ -10,7 +10,7 @@ function redirect($to) { /** * Echoes given output and dies. - * + * * @param String $output */ function raw_output($output) { @@ -30,8 +30,9 @@ function strip_request_item($name) { * eine ID sein könnte. */ function test_request_int($name) { - if (isset($_REQUEST[$name])) + if (isset($_REQUEST[$name])) { return preg_match("/^[0-9]*$/", $_REQUEST[$name]); + } return false; } |