PidLock.php File Reference

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

Namespaces
namespace	Wikibase\Repo
	Root namespace for Repo extension code.