| Index: trunk/extensions/Configure/findSettings.php |
| — | — | @@ -26,12 +26,13 @@ |
| 27 | 27 | echo "Script that find settings that aren't configurable by the extension.\n"; |
| 28 | 28 | echo "\n"; |
| 29 | 29 | echo "Usage:\n"; |
| 30 | | - echo " php findSettings.php [--help|--from-doc]\n"; |
| | 30 | + echo " php findSettings.php [--help|--from-doc [--alpha]]\n"; |
| 31 | 31 | echo "\n"; |
| 32 | 32 | echo "options:\n"; |
| 33 | 33 | echo "--help: display this screen\n"; |
| 34 | 34 | echo "--from-doc: compare with settings from mediawiki.org instead settings\n"; |
| 35 | 35 | echo " from this extension\n"; |
| | 36 | + echo "--alpha: get the alphabetical list of settings\n"; |
| 36 | 37 | echo "\n"; |
| 37 | 38 | exit; |
| 38 | 39 | } |
| — | — | @@ -54,7 +55,12 @@ |
| 55 | 56 | |
| 56 | 57 | // Get our settings defs |
| 57 | 58 | if( isset( $options['from-doc'] ) ){ |
| 58 | | - $cont = Http::get( 'http://www.mediawiki.org/w/index.php?title=Manual:Configuration_settings&action=raw' ); |
| | 59 | + if( isset( $options['alpha'] ) ){ |
| | 60 | + $page = "Manual:Configuration_settings_(alphabetical)"; |
| | 61 | + } else { |
| | 62 | + $page = "Manual:Configuration_settings"; |
| | 63 | + } |
| | 64 | + $cont = Http::get( "http://www.mediawiki.org/w/index.php?title={$page}&action=raw" ); |
| 59 | 65 | $m = array(); |
| 60 | 66 | preg_match_all( '/\[\[[Mm]anual:\$(wg[A-Za-z0-9]+)\|/', $cont, $m ); |
| 61 | 67 | $allSettings = array_unique( $m[1] ); |
| Index: trunk/extensions/Configure/CHANGELOG |
| — | — | @@ -1,6 +1,9 @@ |
| 2 | 2 | This file lists changes on this extension. |
| 3 | 3 | Localisation updates are done on betawiki and aren't listed here. |
| 4 | 4 | |
| | 5 | +0.6.11 - 13 August 2008 |
| | 6 | + Added --alpha option to findSettings.php script. |
| | 7 | + |
| 5 | 8 | 0.6.10 - 12 August 2008 |
| 6 | 9 | Updated extensions settings. |
| 7 | 10 | |
| — | — | @@ -44,6 +47,7 @@ |
| 45 | 48 | * $wgConfigureNotEditableSettings: not editable settings |
| 46 | 49 | See Configure.php for further documentation about these settings. |
| 47 | 50 | |
| | 51 | + |
| 48 | 52 | 0.5.7 - 14 July 2008 |
| 49 | 53 | Updated FlaggedRevs extension. |
| 50 | 54 | |
| Index: trunk/extensions/Configure/Configure.php |
| — | — | @@ -17,7 +17,7 @@ |
| 18 | 18 | 'url' => 'http://www.mediawiki.org/wiki/Extension:Configure', |
| 19 | 19 | 'description' => 'Allow authorised users to configure the wiki by a web-based interface', |
| 20 | 20 | 'descriptionmsg' => 'configure-desc', |
| 21 | | - 'version' => '0.6.10', |
| | 21 | + 'version' => '0.6.11', |
| 22 | 22 | ); |
| 23 | 23 | |
| 24 | 24 | ## Configuration part |