phpbb/git-tools
Oleg Pudeyev 57209a1e68 [ticket/10760] Use externally specified PHP_BIN if any.
We have a PHP_BIN variable but we always set it unconditionally,
therefore in order to use a different php binary one had to
modify the hook script.

Instead set PHP_BIN if it is not set.

Now one can set PHP_BIN in their environment to use a non-default
php binary.

PHPBB3-10760
2012-04-03 23:05:15 -04:00
..
hooks [ticket/10760] Use externally specified PHP_BIN if any. 2012-04-03 23:05:15 -04:00
merge.php [ticket/9916] Changing header in non-distributed files 2012-01-02 16:20:30 +00:00
setup_github_network.php [ticket/9916] Changing header in non-distributed files 2012-01-02 16:20:30 +00:00