they made me do it

Der HTML-Export in MediaWiki scheint nicht mehr zu funktionieren. Um es ansatzweise laufen zubekommen muss man folgendes machen. In der /maintance/dumpHTML.ini

$wgUploadPath = "$wgScriptPath/{$this->imageRel}";

löschen und ersetzen mit

$repo = RepoGroup::singleton()->getLocalRepo();
$repo->url = $wgUploadPath = "$wgScriptPath/{$this->imageRel}";

und dann

cp skins/disabled/HTMLDump.php skins/
cp -Rv skins/ static/

erstellen…

php5 dumpHTML.php --image-snapshot --interlang --force-copy -k monobook

Zum Bugzilla-Eintrag geht es hier.