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)
commitb375f7ad9c6efdb55385e0f53d8db8572e6260ce
tree22de219b9434dfe6b4236340578b663e5cd0dbde
parentd99963bc2ae4222df49340bf75dff18501cb0a8b
parentc8b2aa1ac4780f67551862be81096948bff1c92b
Merge "Remove unused REPORTING_INTERVAL from resolveStubs.php"