.pipeline/dev_prereq.sh

   1 #!/bin/sh
   2
   3 mkdir /tmp/php
   4 mkdir -p extensions
   5
   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
  10
  11 cd /var/www/html
  12 composer install
  13 cat <<PHP > LocalSettings.php
  14 <?php
  15 require_once '/var/config/LocalSettings.php';
  16 PHP