#!/bin/bash

# This backups the mediawiki installation.

set -e

mkdir -p assets

pass=$(grep wgDBpassword ../LocalSettings.php  | awk -F'"' '{print $2}')
user=$(grep wgDBuser     ../LocalSettings.php  | awk -F'"' '{print $2}')
name=$(grep wgDBname     ../LocalSettings.php  | awk -F'"' '{print $2}')
host=$(grep wgDBserver   ../LocalSettings.php  | awk -F'"' '{print $2}')

MYSQL_PWD=$pass mysqldump --no-tablespaces -h $host -u $user $name > assets/database.sql

php ../maintenance/dumpBackup.php --full  > assets/full-dump.xml

tar zcvfh assets/wikidata.tar.gz --exclude="backupper" ..

# Also copy the docs
cp *.md *.sh assets/