diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2007-09-14 13:18:58 +0200 |
commit | 8f416baead93a48e5799e44b8bd2e2c4859f4e04 (patch) | |
tree | cd47ac55eb80a39e3225e8b4f3161b88ea16c2cf /maintenance/storage/resolveStubs.php | |
parent | d7d08bd1a17618c7d77a6b9b2989e9f7293d6ed6 (diff) |
auf Version 1.11 aktualisiert; Login-Bug behoben
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 ); } -?> + |