diff options
author | Peter Kokot <peterkokot@gmail.com> | 2018-09-17 00:02:36 +0200 |
---|---|---|
committer | Peter Kokot <peterkokot@gmail.com> | 2018-09-17 00:02:36 +0200 |
commit | 03bbdf275a7ed627f178160c91f7b101900f9b82 (patch) | |
tree | a0c635b1f95e8d33765e0c7208c1ca28a2e08368 /sapi/phpdbg/phpdbg_prompt.c | |
parent | c9884354d2984933625ed2fd38817dafd5888870 (diff) | |
download | php-git-03bbdf275a7ed627f178160c91f7b101900f9b82.tar.gz |
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.
Diffstat (limited to 'sapi/phpdbg/phpdbg_prompt.c')
0 files changed, 0 insertions, 0 deletions