Plugins

Dia Plugin

• Installation Dia auf dem Mediwiki Server (z. Bsp. apt-get install dia)
• Download Dia Plugin von https://github.com/mediawiki4intranet/Dia und speichern der heruntergeladenen Dateien im Verzeichnis:

<mediawiki-verzeichnis>/extensions/Dia

• Hinzufügen folgender Zeile in der Datei LocalSettings.php

require_once("$IP/extensions/Dia/Dia.php");

• Um Dia gzippte Dateien und .svgz Dateien verarbeiten zu können muss Mediawiki gepatcht werden (NUR für Mediawiki 1.21):

cd <mediawiki-verzeichnis>
patch -p1 < extensions/Dia/gzipped-xml-types-1.21.diff

Ausgabe des Patch Befehls:
patching file includes/DefaultSettings.php
patching file includes/MimeMagic.php
patching file includes/XmlTypeCheck.php
patching file includes/media/SVGMetadataExtractor.php
patching file includes/mime.types