MediaWiki REL1_34
DBQueryDisconnectedError.php
Go to the documentation of this file.