repo.or.cz
/
mediawiki.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Implement extension registration from an extension.json file
[mediawiki.git]
/
maintenance
/
dev
/
install.sh
blob
2219894d29019a684f4779f8e49f0b35883ee51c
1
#!/bin/bash
2
3
if
[
"x
$BASH_SOURCE
"
==
"x"
];
then
echo
'
$BASH_SOURCE
not set'
;
exit
1
;
fi
4
DEV
=
$
(
cd -P
"$(dirname "
${BASH_SOURCE[0]}
" )"
&&
pwd
)
5
6
"
$DEV
/installphp.sh"
7
"
$DEV
/installmw.sh"
8
"
$DEV
/start.sh"