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 }
42 
48 class_alias( DBPrimaryPos::class, 'Wikimedia\\Rdbms\\DBMasterPos' );
Wikimedia\Rdbms\DBPrimaryPos\asOfTime
asOfTime()
Wikimedia\Rdbms
Definition: ChronologyProtector.php:24
Wikimedia\Rdbms\DBPrimaryPos\hasReached
hasReached(DBPrimaryPos $pos)
Wikimedia\Rdbms\DBPrimaryPos\__toString
__toString()
Wikimedia\Rdbms\DBPrimaryPos
An object representing a primary or replica DB position in a replicated setup.
Definition: DBPrimaryPos.php:15
Wikimedia\Rdbms\DBPrimaryPos\channelsMatch
channelsMatch(DBPrimaryPos $pos)