MediaWiki  master
DBMasterPos.php
Go to the documentation of this file.
1 <?php
2 
3 namespace Wikimedia\Rdbms;
4 
5 use Serializable;
6 
14 interface DBMasterPos extends Serializable {
19  public function asOfTime();
20 
26  public function hasReached( DBMasterPos $pos );
27 
33  public function channelsMatch( DBMasterPos $pos );
34 
39  public function __toString();
40 }
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:14
Wikimedia\Rdbms\DBMasterPos\asOfTime
asOfTime()
Wikimedia\Rdbms\DBMasterPos\__toString
__toString()
Wikimedia\Rdbms\DBMasterPos\hasReached
hasReached(DBMasterPos $pos)