Merge "Remove unused REPORTING_INTERVAL from resolveStubs.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 3 Feb 2015 19:59:34 +0000 (19:59 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 3 Feb 2015 19:59:34 +0000 (19:59 +0000)
maintenance/storage/resolveStubs.php

index 290f164..36741cb 100644 (file)
@@ -22,8 +22,6 @@
  * @ingroup Maintenance ExternalStorage
  */
 
-define( 'REPORTING_INTERVAL', 100 );
-
 if ( !defined( 'MEDIAWIKI' ) ) {
        $optionsWithArgs = array( 'm' );