Plugins: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Tina (Diskussion | Beiträge) |
Tina (Diskussion | Beiträge) |
||
| Zeile 9: | Zeile 9: | ||
cd <mediawiki-verzeichnis> | cd <mediawiki-verzeichnis> | ||
patch -p1 < extensions/Dia/gzipped-xml-types-1.21.diff | patch -p1 < extensions/Dia/gzipped-xml-types-1.21.diff | ||
| − | + | ||
Ausgabe des Patch Befehls: | Ausgabe des Patch Befehls: | ||
patching file includes/DefaultSettings.php | patching file includes/DefaultSettings.php | ||
Version vom 19. August 2014, 13:49 Uhr
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