MediaWiki internal error.
Original exception: [ef7b897b24acbb5cd1481d76] 2024-04-18 17:01:30: 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.