Wiki läuft wieder. Habe dabei noch einen Bug gefixed, den wir seit einem Jahr oder so hatten. Die Leute, die MediaWiki schreiben, haben sie doch nicht mehr alle... <https://phabricator.wikimedia.org/T68485> Viele Grüße, Ralf