diff options
Diffstat (limited to 'maintenance/storage/resolveStubs.php')
| -rw-r--r-- | maintenance/storage/resolveStubs.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/maintenance/storage/resolveStubs.php b/maintenance/storage/resolveStubs.php index 6836ae60..5dfaa598 100644 --- a/maintenance/storage/resolveStubs.php +++ b/maintenance/storage/resolveStubs.php @@ -6,7 +6,6 @@ if ( !defined( 'MEDIAWIKI' ) ) { $optionsWithArgs = array( 'm' ); require_once( dirname(__FILE__) . '/../commandLine.inc' ); - require_once( 'includes/ExternalStoreDB.php' ); resolveStubs(); } @@ -94,4 +93,4 @@ function resolveStub( $id, $stubText, $flags ) { ), $fname ); } -?> + |