MediaWiki
master
DBSessionStateError.php
Go to the documentation of this file.
1
<?php
20
namespace
Wikimedia\Rdbms
;
21
26
class
DBSessionStateError
extends
DBTransactionError
{
27
}
Wikimedia\Rdbms\DBSessionStateError
Definition:
DBSessionStateError.php:26
Wikimedia\Rdbms\DBTransactionError
Definition:
DBTransactionError.php:30
Wikimedia\Rdbms
Definition:
ChronologyProtector.php:20
includes
libs
rdbms
exception
DBSessionStateError.php
Generated on Sat Feb 4 2023 09:08:39 for MediaWiki by
1.9.1