clones/php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2024-09-24 03:17:26 +00:00
Code Issues Packages Projects Releases Wiki Activity
119,962 Commits 491 Branches 1,363 Tags 846 MiB
37a878b8c3
Commit Graph

3 Commits

Author SHA1 Message Date
Nikita Popov
58b17906f5 Apply tidy formatting 
Mostly reindent PHP scripts to spaces.
 2020-02-03 13:41:31 +01:00
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
Derick Rethans
8c8b504bc4 - Bundle the data file - you can still use the external file if you 
specify that in the call to finfo_open().
 2008-07-24 13:40:21 +00:00