Server/Wiki
MediaWiki
Logo angepasst
- Grundlage war http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/logo/image_thumb
- ergänzende manuelle Anpassung zu http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki_logo
cd /usr/local/www/mediawiki/skins/common/images/
fetch http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/mediawiki-logo
mv mediawiki-logo logo.png
cd /usr/local/www/mediawiki/
ee LocalSettings.php
$wgLogo = "$wgStylePath/common/images/logo.png";
favicon angepasst
cd /usr/local/www/mediawiki/skins/common/images/
fetch http://www.stura.htw-dresden.de/stura/ref/oea/cd/cd/logo/customization/favicon/favicon-16-px
mv favicon-16-px favicon.png
- Alternativ kann auch die Wikipedia als Quelle dienen.
fetch https://upload.wikimedia.org/wikipedia/commons/thumb/5/5c/Glider-small.svg/16px-Glider-small.svg.png
mv 16px-Glider-small.svg.png favicon.png
cd /usr/local/www/mediawiki/
ee LocalSettings.php
$wgFavicon = "$wgStylePath/common/images/favicon.png";
Änderung des Namens der Seite ändern
Bisher war der Name der Seite StuRa HTW Dresden. Künftig soll die Seite Wiki StuRa HTW Dresden heißen.
Das führt dazu, dass auch der Name des Namensraumes geändert wird. (Im Übrigen ist das nicht so, wenn die Bezeichnung des Namensraumes in der LocalSettings.php
festgelegt ist. Das war bei uns nicht der Fall, was ja auch gut so ist.)
- Änderung des Namens der Seite
ee /usr/local/www/mediawiki/LocalSettings.php
#$wgSitename = "StuRa HTW Dresden"; $wgSitename = "Wiki StuRa HTW Dresden";
- (temporäres) Fixieren der Bezeichnung des Namensraumes des Projektes (auf den bisherigen Stand)
ee /usr/local/www/mediawiki/LocalSettings.php
$wgMetaNamespace = "StuRa_HTW_Dresden"; $wgMetaNamespaceTalk = "StuRa_HTW_Dresden_Diskussion";
noch zu erledigen
- Ersetzen (Berichtigen) der Einträge (einzelne Seiten) im Wiki
- Ersetzen von [[StuRa HTW Dresden: durch [[{{ns:project}}:!
- Entfernen vom (temporären) Fixieren der Bezeichnung des Namensraumes des Projektes (auf den bisherigen Stand), da nun alle Verweise berichtigt sein sollten
ee /usr/local/www/mediawiki/LocalSettings.php
$wgMetaNamespace = "StuRa_HTW_Dresden"; $wgMetaNamespaceTalk = "StuRa_HTW_Dresden_Diskussion";
mögliche hilfreiche Links
Einstellung der Zeitzone
Relativ unverständlich, aber MediaWiki scheint nicht die Uhrzeit vom System zu nehmen.
- Festlegen der Zeitzone (der Instanz MediaWiki)
ee /usr/local/www/mediawiki/LocalSettings.php
$wgLocaltimezone = 'Europe/Berlin';
- Siehe auch
ImageMagick Support für Bilder Upload
$wgUseImageMagick = true; $wgImageMagickConvertCommand = "/usr/local/bin/convert"; $wgHashedUploadDirectory = true; # NEW (Generate thumbnails on EVERY client request, instead of generating and writing them to thumbs directory) $wgThumbnailScriptPath = "{$wgScriptPath}/thumb.php";
XMLReader installiert
Für Spezial:Hochladen (special:upload) braucht es XMLReader (für) XmlTypeCheck.php
. Es kam die Fehlermeldung
Fatal error: Class 'XMLReader' not found in /usr/local/www/mediawiki/includes/libs/XmlTypeCheck.php
.
- Installieren von XMLReader für die verwendete Version von PHP
pkg install -y php56-xmlreader
Sidebar angepasst
- Siehe auch
- mediawikiwiki:Manual:Interface/Sidebar