MediaWiki
master
DBPrimaryPos.php
Go to the documentation of this file.
1
<?php
2
3
namespace
Wikimedia\Rdbms
;
4
12
interface
DBPrimaryPos
{
17
public
function
asOfTime
();
18
24
public
function
hasReached
(
DBPrimaryPos
$pos );
25
30
public
function
__toString
();
31
39
public
static
function
newFromArray
( array $data );
40
47
public
function
toArray
(): array;
48
49
}
Wikimedia\Rdbms\DBPrimaryPos
An object representing a primary or replica DB position in a replicated setup.
Definition
DBPrimaryPos.php:12
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 Fri Apr 26 2024 00:22:43 for MediaWiki by
1.10.0