MediaWiki internal error.
Original exception: [efabbb371ed1d4fb650b24fd] 2024-04-18 15:33:57: 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.