MediaWiki/LocalSettings.php: Unterschied zwischen den Versionen
K Textersetzung - „Kategorie:Wiki:“ durch „Kategorie:MediaWiki:“ |
K Textersetzung - „Kategorie:(.*):(.*)“ durch „Kategorie:/$1/$2“ |
||
| Zeile 12: | Zeile 12: | ||
# https://www.mediawiki.org/wiki/Manual:Configuration_settings/de | # https://www.mediawiki.org/wiki/Manual:Configuration_settings/de | ||
[[Kategorie:MediaWiki | [[Kategorie:/MediaWiki/Verwaltung]] | ||
Version vom 27. März 2023, 15:50 Uhr
LocalSettings.php ist die Konfigurationsdatei für MediaWiki
- $wgReadOnly
- setzt das Wiki auf schreibgeschützt
- angegebenen Zeichenfolge als Grund
- nützlich für die Wartung der Website
- /mw-config/