mirror of
https://github.com/php/php-src.git
synced 2025-08-20 17:34:35 +02:00
![]() 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`. |
||
---|---|---|
.. | ||
tests | ||
config.m4 | ||
config.w32 | ||
CREDITS | ||
curl_file.c | ||
interface.c | ||
multi.c | ||
php_curl.h | ||
share.c | ||
sync-constants.php |