AddPageFromMap Extension

Um die Extension für das Wiki nutzen zu können, wird die EditPagePreloadContent.php benötigt. Dieses File muss dann nur noch im Extensions-Ordner vom Wiki gespeichert werden.
Danach gehört noch folgende Zeile an das Ende der LocalSettings.php :

require_once( $IP . '/extensions/EditPagePreloadContent.php' );

Die Extension ist nun vollständig installiert und kann genutzt werden.