MediaWiki  master
DBMasterPos.php
Go to the documentation of this file.
1 <?php
2 
3 namespace Wikimedia\Rdbms;
4 
5 use Serializable;
6 
12 interface DBMasterPos extends Serializable {
17  public function asOfTime();
18 
24  public function hasReached( DBMasterPos $pos );
25 
31  public function channelsMatch( DBMasterPos $pos );
32 
37  public function __toString();
38 }
Wikimedia\Rdbms\DBMasterPos\channelsMatch
channelsMatch(DBMasterPos $pos)
Wikimedia\Rdbms
Definition: ChronologyProtector.php:24
Wikimedia\Rdbms\DBMasterPos
An object representing a master or replica DB position in a replicated setup.
Definition: DBMasterPos.php:12
Wikimedia\Rdbms\DBMasterPos\asOfTime
asOfTime()
Wikimedia\Rdbms\DBMasterPos\__toString
__toString()
Wikimedia\Rdbms\DBMasterPos\hasReached
hasReached(DBMasterPos $pos)