| Index: trunk/phase3/maintenance/storage/resolveStubs.php |
| — | — | @@ -6,7 +6,6 @@ |
| 7 | 7 | $optionsWithArgs = array( 'm' ); |
| 8 | 8 | |
| 9 | 9 | require_once( dirname(__FILE__) . '/../commandLine.inc' ); |
| 10 | | - require_once( 'includes/ExternalStoreDB.php' ); |
| 11 | 10 | |
| 12 | 11 | resolveStubs(); |
| 13 | 12 | } |
| Index: trunk/phase3/maintenance/storage/checkStorage.php |
| — | — | @@ -8,9 +8,6 @@ |
| 9 | 9 | |
| 10 | 10 | if ( !defined( 'MEDIAWIKI' ) ) { |
| 11 | 11 | require_once( dirname(__FILE__) . '/../commandLine.inc' ); |
| 12 | | - require_once( 'ExternalStore.php' ); |
| 13 | | - require_once( 'ExternalStoreDB.php' ); |
| 14 | | - require_once( 'SpecialImport.php' ); |
| 15 | 12 | |
| 16 | 13 | $cs = new CheckStorage; |
| 17 | 14 | $fix = isset( $options['fix'] ); |