diff options
Diffstat (limited to 'scripts/dev')
-rw-r--r-- | scripts/dev/check_parameters.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php index 90d5b8dcb0..a9c58f8c00 100644 --- a/scripts/dev/check_parameters.php +++ b/scripts/dev/check_parameters.php @@ -17,9 +17,6 @@ +----------------------------------------------------------------------+ */ -/* $Id$ */ - - define('REPORT_LEVEL', 1); // 0 reports less false-positives. up to level 5. define('VERSION', '7.0'); // minimum is 7.0 define('PHPDIR', realpath(dirname(__FILE__) . '/../..')); |