[LockManager] Moved ScopedLock to its own file.
authorAaron Schulz <aschulz@wikimedia.org>
Fri, 14 Dec 2012 21:06:39 +0000 (13:06 -0800)
committerAaron Schulz <aschulz@wikimedia.org>
Fri, 14 Dec 2012 21:08:05 +0000 (13:08 -0800)
commita29ee00f1a6ac53425295d7d6c52c8b93f937ff5
tree70fc84fbdd491730559410d00ec2bc8b2845d765
parente0415e146c01a8c6cf7429b8a28a321281bc6197
[LockManager] Moved ScopedLock to its own file.

Change-Id: I7430604d3a23a25e8b82036b022336a73cbbc996
includes/AutoLoader.php
includes/filebackend/lockmanager/LockManager.php
includes/filebackend/lockmanager/ScopedLock.php [new file with mode: 0644]