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 Einstellung vorgeben. Hierzu müssen die auszublendenden Skin Namen im [:de:Array#Array_in_der_Informatik|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 gerendert 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 "Benutzer:Benutzername/skinname.css". 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 $wgAllowUserCss 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 Benutzer Einstellungen entfernen. Das macht Sinn 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 öffnen wir 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 einfach alles zu löschen was die Skin Auswahl betrifft, außer Einem: 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.