Manual:GenerateConfigDefaultSettings.php/pl
Ta strona jest przestarzała i została pozostawiona w celach archiwalnych. Może dokumentować rozszerzenia i funkcje, które są zbędne i/lub nie są dłużej wpierane. Należy uznać, że informacje tutaj nie są aktualne. |
| Plik MediaWiki: generateConfigDefaultSettings.php | |
|---|---|
| Lokalizacja: | maintenance/ |
| Kod źródłowy: | master • 1.42.3 • 1.41.4 • 1.39.10 |
| Klasy: | GenerateConfigDefaultSettings |
Details
generateConfigDefaultSettings.php was a maintenance script to generates a DefaultSettings.php file.
DefaultSettings.php contains default configuration settings for the MediaWiki site.
This maintenance script only existed during the development of MediaWiki 1.39 and was never present in any released version.
Options/Arguments
| Option | Description | Default | Required? |
|---|---|---|---|
| --output | Path to output. | $IP/includes/DefaultSettings.php |
Optional |
Usage
php maintenance/generateConfigDefaultSettings.php [ --output ]
Terminal
$ php maintenance/generateConfigDefaultSettings.php --output Sample-DefaultSettings.php