MediaWiki  master
DBPrimaryPos.php
Go to the documentation of this file.
1 <?php
2 
3 namespace Wikimedia\Rdbms;
4 
5 use Serializable;
6 
15 interface DBPrimaryPos extends Serializable {
20  public function asOfTime();
21 
27  public function hasReached( DBPrimaryPos $pos );
28 
34  public function channelsMatch( DBPrimaryPos $pos );
35 
40  public function __toString();
41 }
An object representing a primary or replica DB position in a replicated setup.
channelsMatch(DBPrimaryPos $pos)
hasReached(DBPrimaryPos $pos)