6 git clone
--depth 1 https
://gerrit.wikimedia.org
/r
/mediawiki
/extensions
/VisualEditor.git
/var
/www
/html
/extensions
/VisualEditor
7 git clone
--depth 1 https
://gerrit.wikimedia.org
/r
/mediawiki
/skins
/Vector
/var
/www
/html
/skins
/Vector
8 cd /var
/www
/html
/extensions
/VisualEditor
9 git submodule update
--depth 1 --init
13 cat <<PHP > LocalSettings.php
15 require_once '/var/config/LocalSettings.php';