jenkins-bot has submitted this change and it was merged.
Change subject: Actually declare the base LoadMonior::clearCaches
......................................................................
Actually declare the base LoadMonior::clearCaches
This fixes IDEA errors in LoadBalancer::clearLagTimeCache
Change-Id: Ibd863ef6bc670a29f65821e3f3cd9d721a652b9a
---
M includes/db/loadbalancer/LoadMonitor.php
1 file changed, 10 insertions(+), 0 deletions(-)
Approvals:
Gilles: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/db/loadbalancer/LoadMonitor.php
b/includes/db/loadbalancer/LoadMonitor.php
index 4975ea1..03ce787 100644
--- a/includes/db/loadbalancer/LoadMonitor.php
+++ b/includes/db/loadbalancer/LoadMonitor.php
@@ -51,6 +51,12 @@
* @return array Map of (server index => seconds)
*/
public function getLagTimes( $serverIndexes, $wiki );
+
+ /**
+ * Clear any process and persistent cache of lag times
+ * @since 1.26
+ */
+ public function clearCaches();
}
class LoadMonitorNull implements LoadMonitor {
@@ -63,4 +69,8 @@
public function getLagTimes( $serverIndexes, $wiki ) {
return array_fill_keys( $serverIndexes, 0 );
}
+
+ public function clearCaches() {
+
+ }
}
--
To view, visit https://gerrit.wikimedia.org/r/242090
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ibd863ef6bc670a29f65821e3f3cd9d721a652b9a
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Gilles <[email protected]>
Gerrit-Reviewer: Parent5446 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
