From 20c5c48bb10008106d5a041226be0bb48b9cfdb9 Mon Sep 17 00:00:00 2001
From: Aaron Schulz <aschulz@wikimedia.org>
Date: Fri, 22 Jul 2016 15:38:05 -0700
Subject: [PATCH] filebackend: Fix DBLockManager IDEA warnings

Change-Id: I5e671bcee0915f65082c139be8f42aafad6413f1
---
 includes/filebackend/lockmanager/DBLockManager.php | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/includes/filebackend/lockmanager/DBLockManager.php b/includes/filebackend/lockmanager/DBLockManager.php
index f4410cad6c..e5ded45a08 100644
--- a/includes/filebackend/lockmanager/DBLockManager.php
+++ b/includes/filebackend/lockmanager/DBLockManager.php
@@ -37,7 +37,7 @@
  * @since 1.19
  */
 abstract class DBLockManager extends QuorumLockManager {
-	/** @var array Map of DB names to server config */
+	/** @var array[] Map of DB names to server config */
 	protected $dbServers; // (DB name => server config array)
 	/** @var BagOStuff */
 	protected $statusCache;
@@ -46,7 +46,7 @@ abstract class DBLockManager extends QuorumLockManager {
 	protected $safeDelay; // integer number of seconds
 
 	protected $session = 0; // random integer
-	/** @var array Map Database connections (DB name => Database) */
+	/** @var IDatabase[] Map Database connections (DB name => Database) */
 	protected $conns = [];
 
 	/**
@@ -113,6 +113,8 @@ abstract class DBLockManager extends QuorumLockManager {
 		return $status;
 	}
 
+	abstract protected function doGetLocksOnServer( $lockSrv, array $paths, $type );
+
 	protected function freeLocksOnServer( $lockSrv, array $pathsByType ) {
 		return Status::newGood();
 	}
-- 
2.20.1