Plugins: Unterschied zwischen den Versionen

@@ Zeile 1: / Zeile 1: @@
-=Dia Plugin=
-==Installation==
-*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
-Danach können Dia Diagramme analog zu normalen Bilden hochgeladen und genutzt werden.
-==Probleme==
-FAQ: http://www.mediawiki.org/wiki/Extension:Dia#FAQ
-===cannot allocate memory===
-*Fehlermeldung:
- Error creating thumbnail: dia: error while loading shared libraries: libXrender.so.1: failed to map segment from shared object: Cannot allocate memory
-*Lösung: Hinzufügen folgender Zeile in der Datei LocalSettings.php
- $wgMaxShellMemory = 512000;
-Hochsetzen des Speichers den Mediawiki Dia zur Verfügung stellt.

Version vom 22. August 2014, 06:25 Uhr