MediaWiki/LocalSettings.php: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
Zeile 1: | Zeile 1: | ||
Einstellungen für | Die Datei '''LocalSettings.php''' enthält die Einstellungen für MediaWiki | ||
* Variablen, die mit „$wg“ beginnen | * Variablen, die mit „$wg“ beginnen | ||
Zeile 5: | Zeile 6: | ||
[https://www.mediawiki.org/wiki/Manual:Configuration_settings https://www.mediawiki.org/wiki/Manual:Configuration_settings] | [https://www.mediawiki.org/wiki/Manual:Configuration_settings https://www.mediawiki.org/wiki/Manual:Configuration_settings] | ||
$wgReadOnly | |||
setzt das gesamte 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:46 Uhr
Die Datei LocalSettings.php enthält die Einstellungen für MediaWiki
- Variablen, die mit „$wg“ beginnen
Liste der Einstellungen
https://www.mediawiki.org/wiki/Manual:Configuration_settings
$wgReadOnly setzt das gesamte Wiki auf schreibgeschützt, mit der angegebenen Zeichenfolge als Grund; nützlich für die vorübergehende Wartung der Website