mirror of
https://github.com/php/php-src.git
synced 2024-12-15 04:45:03 +08:00
02294f0c84
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`. |
||
|---|---|---|
| .. | ||
| check_parameters.php | ||
| credits | ||
| find_tested.php | ||
| gen_verify_stub | ||
| phpextdist | ||
| search_underscores.php | ||