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.
This commit is contained in:
Peter Kokot 2018-09-17 00:02:36 +02:00
parent c9884354d2
commit 03bbdf275a
3 changed files with 3 additions and 0 deletions

1
Zend/zend_vm_gen.php Normal file → Executable file
View file

@ -1,3 +1,4 @@
#!/usr/bin/env php
<?php
/*
+----------------------------------------------------------------------+

1
ext/fileinfo/create_data_file.php Normal file → Executable file
View file

@ -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

1
ext/standard/html_tables/html_table_gen.php Normal file → Executable file
View file

@ -1,3 +1,4 @@
#!/usr/bin/env php
<?php
/*
+----------------------------------------------------------------------+