Backup mediawik db

From Redwall MUCK Wiki

$wgReadOnly = 'Dumping Database, Access will be restored shortly'; (in LocalSettings.php)

mysqldump -h hostname -u userid -p --default-character-set=whatever dbname > backup.sql

php dumpBackup.php --full > dump.xml (in mediawiki/maintenance)