.pipeline/dev_prereq.sh

   1 #!/bin/bash
   2
   3 set -eo pipefail
   4
   5 mkdir -p /tmp/php
   6 mkdir -p extensions
   7
   8 git clone --depth 1 https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor.git /var/www/html/extensions/VisualEditor
   9 git clone --depth 1 https://gerrit.wikimedia.org/r/mediawiki/skins/Vector /var/www/html/skins/Vector
  10 cd /var/www/html/extensions/VisualEditor
  11 git submodule update --depth 10 --init
  12
  13 cd /var/www/html
  14 composer install
  15 cat <<PHP > LocalSettings.php
  16 <?php
  17 require_once '/var/config/LocalSettings.php';
  18 PHP