dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge "Use wikimedia/cldr-plural-rule-parser"
[lhc/web/wiklou.git]
/
maintenance
/
dev
/
install.sh
diff --git
a/maintenance/dev/install.sh
b/maintenance/dev/install.sh
index
daa7888
..
2219894
100755
(executable)
--- a/
maintenance/dev/install.sh
+++ b/
maintenance/dev/install.sh
@@
-1,6
+1,6
@@
#!/bin/bash
-if [
[ "x$BASH_SOURCE" == "x" ]
]; then echo '$BASH_SOURCE not set'; exit 1; fi
+if [
"x$BASH_SOURCE" == "x"
]; then echo '$BASH_SOURCE not set'; exit 1; fi
DEV=$(cd -P "$(dirname "${BASH_SOURCE[0]}" )" && pwd)
"$DEV/installphp.sh"