Server/Wiki: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
Zeile 89: | Zeile 89: | ||
* [[mediawikiwiki:Manual:NamespaceDupes.php]] | * [[mediawikiwiki:Manual:NamespaceDupes.php]] | ||
===== Einstellung der Zeitzone ===== | |||
Relativ unverständlich, aber MediaWiki scheint nicht die Uhrzeit vom System zu nehmen. | |||
; Festlegen der Zeitzone (der Instanz MediaWiki): | |||
: <code>ee /usr/local/www/mediawiki/LocalSettings.php</code> | |||
<pre></pre> | |||
<pre> | |||
$wgLocaltimezone = 'Europe/Berlin'; | |||
</pre> | |||
<pre></pre> | |||
== Siehe auch == | == Siehe auch == |
Version vom 4. Mai 2015, 05:47 Uhr
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 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';