1
0
mirror of https://github.com/php/php-src.git synced 2026-04-14 11:32:11 +02:00
Files
archived-php-src/ext/fileinfo
Peter Kokot 03bbdf275a 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.
2018-09-17 00:02:36 +02:00
..
2018-07-25 00:53:25 +02:00
2018-04-29 16:02:08 +02:00
2018-08-12 16:15:45 +02:00
2018-08-06 14:28:32 +02:00
2018-04-29 16:02:08 +02:00
2008-07-25 09:16:22 +00:00