Skip to content

Commit 03bbdf2

Browse files
committed
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.
1 parent c988435 commit 03bbdf2

File tree

3 files changed

+3
-0
lines changed

3 files changed

+3
-0
lines changed

Zend/zend_vm_gen.php

100644100755
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#!/usr/bin/env php
12
<?php
23
/*
34
+----------------------------------------------------------------------+

ext/fileinfo/create_data_file.php

100644100755
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#!/usr/bin/env php
12
/* This is a generated file, do not modify */
23
/* Usage: php create_data_file.php /path/to/magic.mgc > data_file.c */
34
<?php

ext/standard/html_tables/html_table_gen.php

100644100755
Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
#!/usr/bin/env php
12
<?php
23
/*
34
+----------------------------------------------------------------------+

0 commit comments

Comments
 (0)