Make PHP development tools files and scripts executable

This patch makes several scripts and PHP development tools files
executable and adds more proper shebangs to the PHP scripts.

The `#!/usr/bin/env php` shebang provides running the script via
`./script.php` and uses env to find PHP script location on the system.
At the same time it still provides running the script with a user
defined PHP location using `php script.php`.

15 files changed, 11 insertions, 1 deletions

diff --git a/build/genif.sh b/build/genif.sh
index 40024322a9..40024322a9 100644..100755
--- a/build/genif.sh
+++ b/build/genif.sh
diff --git a/ext/curl/sync-constants.php b/ext/curl/sync-constants.php
index 093483ed9c..08d2d28460 100644..100755
--- a/ext/curl/sync-constants.php
+++ b/ext/curl/sync-constants.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 
 /**
diff --git a/ext/fileinfo/fileinfo.php b/ext/fileinfo/fileinfo.php
index 791d03a213..11bb6ed499 100644..100755
--- a/ext/fileinfo/fileinfo.php
+++ b/ext/fileinfo/fileinfo.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 if(!extension_loaded('fileinfo')) {
 	dl('fileinfo.' . PHP_SHLIB_SUFFIX);
diff --git a/ext/hash/bench.php b/ext/hash/bench.php
index eb94cd07f7..4dd5723842 100644..100755
--- a/ext/hash/bench.php
+++ b/ext/hash/bench.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 
 /*
diff --git a/ext/mbstring/ucgendat/ucgendat.php b/ext/mbstring/ucgendat/ucgendat.php
index 556a8cf98f..43204020a6 100644..100755
--- a/ext/mbstring/ucgendat/ucgendat.php
+++ b/ext/mbstring/ucgendat/ucgendat.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php error_reporting(E_ALL);
 
 /* This is based on the ucgendat.c file from the OpenLDAP project, licensed
diff --git a/ext/mbstring/ucgendat/uctest.php b/ext/mbstring/ucgendat/uctest.php
index 62a4e71c5e..5be4a0cd21 100644..100755
--- a/ext/mbstring/ucgendat/uctest.php
+++ b/ext/mbstring/ucgendat/uctest.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php error_reporting(E_ALL);
 
 $dir = __DIR__;
diff --git a/ext/pcre/upgrade-pcre.php b/ext/pcre/upgrade-pcre.php
index b0da6cdb44..3b642dfacc 100644..100755
--- a/ext/pcre/upgrade-pcre.php
+++ b/ext/pcre/upgrade-pcre.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 
 // script to upgrade PCRE. just drop the pcre-x.x.tar.xx here and run the script
diff --git a/ext/pdo/pdo.php b/ext/pdo/pdo.php
index 1008f7bd04..a11cb62b4d 100755
--- a/ext/pdo/pdo.php
+++ b/ext/pdo/pdo.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 dl('pdo.so');
 dl('pdo_sqlite.so');
diff --git a/ext/pdo_mysql/get_error_codes.php b/ext/pdo_mysql/get_error_codes.php
index a1ed85016c..93f523ed20 100644..100755
--- a/ext/pdo_mysql/get_error_codes.php
+++ b/ext/pdo_mysql/get_error_codes.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 	$codes = array();
 	$maxlen = 0;
diff --git a/run-tests.php b/run-tests.php
index 38d905d268..38d905d268 100644..100755
--- a/run-tests.php
+++ b/run-tests.php
diff --git a/sapi/cli/generate_mime_type_map.php b/sapi/cli/generate_mime_type_map.php
index 0cea031e37..0cea031e37 100644..100755
--- a/sapi/cli/generate_mime_type_map.php
+++ b/sapi/cli/generate_mime_type_map.php
diff --git a/sapi/phpdbg/create-test.php b/sapi/phpdbg/create-test.php
index 3388165d86..3388165d86 100644..100755
--- a/sapi/phpdbg/create-test.php
+++ b/sapi/phpdbg/create-test.php
diff --git a/scripts/dev/check_parameters.php b/scripts/dev/check_parameters.php
index a9c58f8c00..bab7ed9a3f 100644..100755
--- a/scripts/dev/check_parameters.php
+++ b/scripts/dev/check_parameters.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /*
   +----------------------------------------------------------------------+
diff --git a/scripts/dev/find_tested.php b/scripts/dev/find_tested.php
index 4e1e2a3bb4..33d53d8163 100644..100755
--- a/scripts/dev/find_tested.php
+++ b/scripts/dev/find_tested.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 
 
diff --git a/scripts/dev/search_underscores.php b/scripts/dev/search_underscores.php
index 23db7dd7b3..cac1a5d9db 100755
--- a/scripts/dev/search_underscores.php
+++ b/scripts/dev/search_underscores.php
@@ -1,4 +1,4 @@
-#! /usr/local/bin/php -n
+#!/usr/bin/env php
 <?php
 
 /*