Server/Wiki

Aus Wiki StuRa HTW Dresden
Zur Navigation springen Zur Suche springen

MediaWiki

Logo angepasst
https://www.mediawiki.org/wiki/Manual:FAQ#How_do_I_change_the_logo.3F
https://www.mediawiki.org/wiki/Manual:FAQ/de#Wie_kann_ich_das_Logo_.C3.A4ndern.3F

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
https://www.mediawiki.org/wiki/Manual:FAQ#How_do_I_change_the_icon_in_the_browser.27s_address_line_.28favicon.29.3F

cd /usr/local/www/mediawiki/skins/common/images/
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