define( 'REPORTING_INTERVAL', 1 );
if ( !defined( 'MEDIAWIKI' ) ) {
- $optionsWithArgs = array( 'e', 's' );
-
require_once( dirname( __FILE__ ) . '/../commandLine.inc' );
- require_once( 'ExternalStoreDB.php' );
+ require_once( dirname( __FILE__ ) . '/../../includes/ExternalStoreDB.php' );
require_once( 'resolveStubs.php' );
$fname = 'moveToExternal';
moveToExternal( $cluster, $maxID, $minID );
}
-
-
function moveToExternal( $cluster, $maxID, $minID = 1 ) {
$fname = 'moveToExternal';
$dbw = wfGetDB( DB_MASTER );