* @ingroup Maintenance ExternalStorage
*/
-define( 'REPORTING_INTERVAL', 100 );
-
if ( !defined( 'MEDIAWIKI' ) ) {
$optionsWithArgs = array( 'm' );
/**
* Resolve a history stub
+ * @param int $id
+ * @param string $stubText
+ * @param string $flags
*/
function resolveStub( $id, $stubText, $flags ) {
$fname = 'resolveStub';