Server/srs13/2022

Betriebssystem

Server/srs1337

Jail FreeNAS

FreeBSD

Verwendungszweck

• Wiki
  • Server/Wiki
    • https://wiki.stura.htw-dresden.de
    • (http://wiki.stura.htw-dresden.de)

MediaWiki

Anpassungen MediaWiki

Alle Anpassungen, die über die Oberfläche vorgenommen wurden, sind Server/Wiki#Anpassungen MediaWiki zu entnehmen.

Logo geändert

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

• 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 geändert

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 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";

Namen der Seite geändert

Änderung des Namens der Seite geändert

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

• mediawikiwiki:Manual:NamespaceDupes.php

Einstellung der Zeitzone geändert

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

• mediawikiwiki:Manual:$wgLocaltimezone

ImageMagick eingerichtet

Für das Spezial:Hochladen von Bildern muss ImageMagick eingerichtet sein.

ee /usr/local/www/mediawiki/LocalSettings.php

$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

Namensräume für den FSR ET hinzugefügt

Es soll für den FSR ET einen eigenständige Namensraum geben, sodass der FSR ET wie ein eigenes Wiki hat.

Hinzufügen eines Namensraumes für Seiten ET und eines Namensraumes für Diskussionen ET Diskussion

$EDITOR /usr/local/www/mediawiki/LocalSettings.php

define("NS_ET", 212);
$wgExtraNamespaces[NS_ET] = "ET";
define("NS_ET_TALK", 312);
$wgExtraNamespaces[NS_ET_TALK] = "ET_Diskussion";

Hinzufügen eines Namensraumes für Seiten ET intern und eines Namensraumes für Diskussionen ET intern Diskussion

$EDITOR /usr/local/www/mediawiki/LocalSettings.php

define("NS_ET_INTERN", 412);
$wgExtraNamespaces[NS_ET_INTERN] = "ET_intern";
define("NS_ET_INTERN_TALK", 512);
$wgExtraNamespaces[NS_ET_INTERN_TALK] = "ET_intern_Diskussion";

siehe auch #Gruppen für den FSR ET hinzugefügt

Namensräume für den FSR LaUCh hinzugefügt

siehe #Namensräume für den FSR ET hinzugefügt

Gruppen für den FSR ET hinzugefügt

Es soll für den FSR ET einen eigenständige Gruppe geben, sodass der FSR ET auch Inhalte ([[siehe auch #Namensräume für den FSR ET hinzugefügt) verwalten kann, die nur die Mitglieder dieser Gruppe sehen.

Hinzufügen einer Gruppe ET mit den üblichen Berechtigungen zur Verwaltung von Inhalten (Seiten und entsprechenden Diskussionen)

$EDITOR /usr/local/www/mediawiki/LocalSettings.php

$wgGroupPermissions['ET']['move']               = true;
$wgGroupPermissions['ET']['move-subpages']      = true;
$wgGroupPermissions['ET']['move-rootuserpages'] = true;
//$wgGroupPermissions['ET']['movefile']           = true;
$wgGroupPermissions['ET']['read']               = true;
$wgGroupPermissions['ET']['edit']               = true;
$wgGroupPermissions['ET']['createpage']         = true;
$wgGroupPermissions['ET']['createtalk']         = true;
$wgGroupPermissions['ET']['writeapi']           = true;
$wgGroupPermissions['ET']['upload']             = true;
$wgGroupPermissions['ET']['reupload']           = true;
$wgGroupPermissions['ET']['reupload-shared']    = true;
$wgGroupPermissions['ET']['minoredit']          = true;
$wgGroupPermissions['ET']['purge']              = true;
$wgGroupPermissions['ET']['sendemail']          = true;

Siehe auch

• Server/Wiki
• Server/Jail/SRS13/2015 (früherer Betrieb eines so bezeichneten Servers (bis im Laufe vom Jahr 2015))
• Server/MediaWiki