Update auf Mediawiki 1.20

Das Update von wikijournals.info auf Mediawiki 1.20 hat gerade problemlos funktioniert. Jedenfalls habe ich bisher keine Fehlfunktion entdeckt. Die Updatebeschreibung von Mediawiki ist nur zu empfehlen, siehe hier