MediaWiki  master
DBPrimaryPos.php
Go to the documentation of this file.
1 <?php
2 
3 namespace Wikimedia\Rdbms;
4 
13 interface DBPrimaryPos {
18  public function asOfTime();
19 
25  public function hasReached( DBPrimaryPos $pos );
26 
31  public function __toString();
32 
40  public static function newFromArray( array $data );
41 
48  public function toArray(): array;
49 
50 }
An object representing a primary or replica DB position in a replicated setup.
static newFromArray(array $data)
Deserialization from storage.
hasReached(DBPrimaryPos $pos)
toArray()
Serialization for storage.