Use Database::fetchRow instead of array cast
authorumherirrender <umherirrender_de.wp@web.de>
Fri, 20 Nov 2015 19:44:56 +0000 (20:44 +0100)
committerumherirrender <umherirrender_de.wp@web.de>
Fri, 20 Nov 2015 19:44:56 +0000 (20:44 +0100)
commit78328dee73ee38e907181b6b16135015377559a5
treef8d5051d849608e483d0c0f844ff92efc770de28
parent7ff2f8f3fbe550456ab0bd56c111d490770fae9f
Use Database::fetchRow instead of array cast

Change-Id: I71435955de604a9b3c2b2570e144b55b35421e4c
includes/filebackend/lockmanager/DBLockManager.php