MediaWiki/LocalSettings.php: Unterschied zwischen den Versionen
Keine Bearbeitungszusammenfassung |
Keine Bearbeitungszusammenfassung |
||
| Zeile 1: | Zeile 1: | ||
'''LocalSettings.php''' (Konfigurationsdatei für MediaWiki) | |||
'''Beispiel''' | '''Beispiel''' | ||
Version vom 10. April 2022, 09:49 Uhr
LocalSettings.php (Konfigurationsdatei 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