Make PHP development tools files executable

This patch makes few remaining PHP development tools files
executable and adds a shebang to them.

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`. Shebang is not visible in
the output of the generated file.

3 files changed, 3 insertions, 0 deletions

diff --git a/Zend/zend_vm_gen.php b/Zend/zend_vm_gen.php
index 383b0cb00f..6c69737153 100644..100755
--- a/Zend/zend_vm_gen.php
+++ b/Zend/zend_vm_gen.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /*
    +----------------------------------------------------------------------+
diff --git a/ext/fileinfo/create_data_file.php b/ext/fileinfo/create_data_file.php
index bf1f5637b1..c1284c60cb 100644..100755
--- a/ext/fileinfo/create_data_file.php
+++ b/ext/fileinfo/create_data_file.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 /* This is a generated file, do not modify */
 /* Usage: php create_data_file.php /path/to/magic.mgc > data_file.c */
 <?php
diff --git a/ext/standard/html_tables/html_table_gen.php b/ext/standard/html_tables/html_table_gen.php
index 5d7a0066cf..a1c4763e00 100644..100755
--- a/ext/standard/html_tables/html_table_gen.php
+++ b/ext/standard/html_tables/html_table_gen.php
@@ -1,3 +1,4 @@
+#!/usr/bin/env php
 <?php
 /*
    +----------------------------------------------------------------------+