MediaWiki internal error.
Original exception: [a5c91080e547f9a3809d9c6d] 2024-04-18 17:09:48: Fatal exception of type "Wikimedia\Rdbms\DBConnectionError"
Exception caught inside exception handler.
Set $wgShowExceptionDetails = true; at the bottom of LocalSettings.php to show detailed debugging information.