Wikibase
MediaWiki Wikibase extension
Classes
PidLock.php File Reference

Classes

class  Wikibase\Repo\PidLock
 Utility class for process identifier (PID) locking. More...