diff options
-rwxr-xr-x[-rw-r--r--] | check_deps.php | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/check_deps.php b/check_deps.php index f8d2da2db..a76085298 100644..100755 --- a/check_deps.php +++ b/check_deps.php @@ -1,3 +1,4 @@ +#!/usr/bin/php <?php if (version_compare(PHP_VERSION, '5.5.0') < 0) { |