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