diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2018-08-29 20:50:08 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2018-08-29 20:58:17 +0200 |
| commit | 02294f0c84740a2c3fd2d13a4a66544717d778bb (patch) | |
| tree | 3c3fafbc67cbb47bd4232958ceb83872243c49c2 /scripts/dev/check_parameters.php | |
| parent | c1f7aae19cb4096b94663714bf94dce437de23aa (diff) | |
| download | php-git-02294f0c84740a2c3fd2d13a4a66544717d778bb.tar.gz | |
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`.
Diffstat (limited to 'scripts/dev/check_parameters.php')
| -rwxr-xr-x[-rw-r--r--] | scripts/dev/check_parameters.php | 1 |
1 files changed, 1 insertions, 0 deletions
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 /* +----------------------------------------------------------------------+ |