MediaWiki/LocalSettings.php: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
Zeile 1: | Zeile 1: | ||
Die Datei '''LocalSettings.php''' enthält die Einstellungen für MediaWiki | Die Datei '''LocalSettings.php''' enthält die Einstellungen für MediaWiki | ||
'''Beispiel''' | |||
'''$wgReadOnly''' | '''$wgReadOnly''' | ||
* setzt das Wiki auf schreibgeschützt | |||
* mit der angegebenen Zeichenfolge als Grund | |||
* nützlich für die vorübergehende Wartung der Website | |||
= Links = | = Links = |
Version vom 10. April 2022, 09:48 Uhr
Die Datei LocalSettings.php enthält die Einstellungen für MediaWiki
Beispiel
$wgReadOnly
- setzt das Wiki auf schreibgeschützt
- mit der angegebenen Zeichenfolge als Grund
- nützlich für die vorübergehende Wartung der Website