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 }
hasReached(DBMasterPos $pos)
An object representing a master or replica DB position in a replicated setup.
Definition: DBMasterPos.php:12
channelsMatch(DBMasterPos $pos)