MediaWiki  master
DBSessionStateError.php
Go to the documentation of this file.