Wikibase
MediaWiki Wikibase extension
|
This is the complete list of members for Wikibase\Repo\PidLock, including all inherited members.
$module | Wikibase\Repo\PidLock | private |
$wikiId | Wikibase\Repo\PidLock | private |
__construct( $module, $wikiId) | Wikibase\Repo\PidLock | |
getLock( $force=false) | Wikibase\Repo\PidLock | |
getStateFile() | Wikibase\Repo\PidLock | private |
isAlive( $pid) | Wikibase\Repo\PidLock | private |
removeLock() | Wikibase\Repo\PidLock |