Manual:Skin configuration/de

Diese Seite enthält Informationen für Administratoren wie Skins konfiguriert werden können in einer WikiMedia-Installation. Siehe Help:Skins für generelle Informationen zu Skins und Manual:Skinning für Entwickler Informationen, wie neue Skins erstellt werden können.

Standard Skin für ein Wiki festlegen
Ein Standard Skin wird über die Variable $wgDefaultSkin in der Datei LocalSettings.php durch Eingabe des Skin Namens der in der Skin Datei festgelegt wurde, zu beachten ist hier, dass der Name nur in Kleinbuchstaben angegeben werden darf. Benutzer können den Skin später immer noch selbst in den Einstellungen ändern. Sollte ein Administrator eine große Anzahl von existierenden Benutzer Skin Einstellungen ändern wollen, so kann das Skript im maintenance Ordner mit dem Namen userOptions.php verwendet werden. Die zu verwendende Syntax ist wie folgt: Beispiel: Das Skript wird dann alle Benutzer-Einstellung vom  zum  ändern.

Skins ausblenden
Der Administrator kann die Anzahl an auszuwählenden Skins in den Benutzer Einstellungen vorgeben. Hierzu müssen die auszublendenden Skinnamen im Array $wgSkipSkins in der Datei LocalSettings.php angegeben werden.

Beispiel:

Seitenweites CSS
MediaWiki ermöglicht es Administratoren seitenweite CSS Regeln für jede Seite die geändert wird festzulegen. Diese Regeln können im Dokument MediaWiki:Common.css festgelegt werden. Siehe Link für die Regeln und Beispiele dieser Datei.

Benutzer CSS
Benutzer können auch selbst CSS Regeln erstellen, dafür erstellen sie einfach die Seite. Sollte also ein Benutzer der Standard WikiMedia Skin Monobook verwenden, so erstellt er die Seite "Benutzer:Benutzername/monobook.css". Diese Option kann de- und aktiviert werden, zum aktivieren muss der Einstellung  der Wert true in der Datei LocalSettings.php vergeben werden.

Skin Menüpunkt aus den Benutzer Einstellungen entfernen
Der System Administrator kann den Skin Menüpunkt auch völlig aus den Benutzereinstellungen entfernen. Das ist sinnvoll, wenn Ihre Seite einen speziell angepassten Skin verwendet und das Wiki mit jedem anderen Skin nicht passend aussieht.

Um nun den Skin Menüpunkt zu entfernen, können Sie seit MediaWiki 1.16 in LocalSettings.php folgende Zeile ergänzen: Für Details siehe Manual:$wgHiddenPrefs.

Eine Alternative ist es, den MediaWiki-Quellcode zu verändern. Seien Sie gewarnt, dass diese Änderungen bei einem Update verloren gehen! Wir öffnen die Datei SpecialPreferences.php im Ordner include und kommentieren (entweder durch ergänzen eines Gatterzeichens  am Anfang jeder Zeile, oder durch   vor der ersten Codezeile und   nach der letzten Codezeile) die betreffenden Zeilen einfach aus (der betroffene Code started in Zeile ~719 und endet bei ~747):

Es ist auch möglich, für die Skinauswahl einfach alle Skins außer Einem zu löschen: siehe $wgSkipSkin und $wgDefaultSkin. Das Auskommentieren ist jedoch in jedem Fall vorzuziehen, um die Funktion später gegebenenfalls schnell und einfach wieder aktivieren zu können.