MediaWiki  REL1_19
LockManager.php File Reference

Go to the source code of this file.

Classes

class  LockManager
 Class for handling resource locking. More...
class  NullLockManager
 Simple version of LockManager that does nothing. More...
class  ScopedLock
 Self releasing locks. More...

Detailed Description

Author:
Aaron Schulz

Definition in file LockManager.php.