dépôts
/
lhc
/
web
/
wiklou.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge "mediawiki.special.preferences: Use standard IIFE"
[lhc/web/wiklou.git]
/
maintenance
/
dev
/
includes
/
require-php.sh
1
# Include-able script to require that we have a known php binary we can execute
2
3
.
"
$DEV
/includes/php.sh"
4
5
if
[
"x
$PHP
"
==
"x"
-o
!
-x
"
$PHP
"
];
then
6
echo
"Local copy of PHP is not installed"
7
exit
1
8
fi