MediaWiki
REL1_39
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
49
public
static
function
newFromArray
( array $data );
50
57
public
function
toArray
(): array;
58
59
}
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)
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
ChronologyProtector.php:20
includes
libs
rdbms
database
position
DBPrimaryPos.php
Generated on Mon Dec 2 2024 06:23:35 for MediaWiki by
1.10.0