Bitnami MediaWiki Export/Backup leicht gemacht

1. ins Verzeichnis von mysqldump.exe gehen (wahrscheinlich ..BitNami MediaWiki Stack\mysql\bin)
2. Dann folgenden Befehl eingeben:
mysqldump.exe --user=$user --password=$password --all-databases > mediawiki.sql
3. $user und $password aus der Datei LocalSettings.php auslesen, am Besten nach den Variablen $wgDBuser und $wgDBpassword suchen:

$wgDBtype = "mysql";
$wgDBserver = "localhost";
$wgDBname = "meinDBName";
$wgDBuser = "meinUser";
$wgDBpassword = "meinPasswort";

Ich habe nämlich stundenlang probiert, bis ich es raus hatte und im Netz nur ellenlange Beschreibungen des Befehls gefunden, das Bitnami Forum hat auch nur begrenzt weiter geholfen.

Jetzt muss ich nur noch in Erfahrung bringen, wie das ganze auf dem neuen Rechner wieder importiert werden kann.