MediaWiki master
DBPrimaryPos.php
Go to the documentation of this file.
1<?php
2
3namespace Wikimedia\Rdbms;
4
5use Stringable;
6
14interface DBPrimaryPos extends Stringable {
19 public function asOfTime();
20
26 public function hasReached( DBPrimaryPos $pos );
27
32 public function __toString();
33
41 public static function newFromArray( array $data );
42
49 public function toArray(): array;
50
51}
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.