| Index: trunk/extensions/Deployment/Deployment_Settings.php |
| — | — | @@ -12,16 +12,4 @@ |
| 13 | 13 | |
| 14 | 14 | if ( !defined( 'MEDIAWIKI' ) ) { |
| 15 | 15 | die( 'Not an entry point.' ); |
| 16 | | -} |
| 17 | | - |
| 18 | | -$wgRepositoryLocation = 'http://www.mediawiki.org/wiki/Special:Repository'; |
| 19 | | -$wgRepositoryApiLocation = 'http://www.mediawiki.org/w/api.php'; |
| 20 | | - |
| 21 | | -$wgRepositoryPackageStates = array( |
| 22 | | - //'dev', |
| 23 | | - //'alpha', |
| 24 | | - 'beta', |
| 25 | | - //'rc', |
| 26 | | - 'stable', |
| 27 | | - //'deprecated', |
| 28 | | -); |
| \ No newline at end of file |
| | 16 | +} |
| \ No newline at end of file |