MediaWiki
master
DBPrimaryPos.php
Go to the documentation of this file.
1
<?php
2
3
namespace
Wikimedia\Rdbms
;
4
5
use Stringable;
6
14
interface
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
}
Wikimedia\Rdbms\DBPrimaryPos
An object representing a primary or replica DB position in a replicated setup.
Definition
DBPrimaryPos.php:14
Wikimedia\Rdbms\DBPrimaryPos\__toString
__toString()
Wikimedia\Rdbms\DBPrimaryPos\newFromArray
static newFromArray(array $data)
Deserialization from storage.
Wikimedia\Rdbms\DBPrimaryPos\asOfTime
asOfTime()
Wikimedia\Rdbms\DBPrimaryPos\hasReached
hasReached(DBPrimaryPos $pos)
Wikimedia\Rdbms\DBPrimaryPos\toArray
toArray()
Serialization for storage.
Wikimedia\Rdbms
Definition
ChangedTablesTracker.php:3
includes
libs
rdbms
database
position
DBPrimaryPos.php
Generated on Mon Oct 14 2024 02:24:10 for MediaWiki by
1.10.0