elinux.org wiki style

Hi Tim,

https://elinux.org/ is looking weird today.

There seems to be something wrong with the stylesheet.
When trying to open it:

[b554204955cf12a33d7baee1]
/load.php?debug=false&lang=en&modules=ext.echo.badgeicons%7Cext.echo.styles.badge%7Cmediawiki.legacy.commonPrint%2Cshared%7Cmediawiki.sectionAnchor%7Cmediawiki.skinning.interface%7Cskins.vector.styles&only=styles&skin=vector
Error from line 689 of
/var/www/elinux.org/htdocs/includes/exception/MWExceptionHandler.php:
Class 'FormatJson' not found

Backtrace:

#0 /var/www/elinux.org/htdocs/includes/exception/MWExceptionHandler.php(216):
MWExceptionHandler::logError(ErrorException, string, string)
#1 /var/www/elinux.org/htdocs/includes/AutoLoader.php(109):
MWExceptionHandler::handleError(integer, string, string, integer,
array)
#2 /var/www/elinux.org/htdocs/includes/AutoLoader.php(109): require()
#3 [internal function]: AutoLoader::autoload(string)
#4 /var/www/elinux.org/htdocs/includes/resourceloader/ResourceLoader.php(141):
spl_autoload_call(string)
#5 /var/www/elinux.org/htdocs/includes/resourceloader/ResourceLoader.php(751):
ResourceLoader->preloadModuleInfo(array, ResourceLoaderContext)
#6 /var/www/elinux.org/htdocs/load.php(51):
ResourceLoader->respond(ResourceLoaderContext)
#7 {main}

Gr{oetje,eeting}s,

                        Geert

-- 
Geert Uytterhoeven -- There's lots of Linux beyond ia32 -- [email protected]

In personal conversations with technical people, I call myself a hacker. But
when I'm talking to journalists I just say "programmer" or something like that.
                                -- Linus Torvalds