Fatal error: Uncaught Error: Interface 'MediaWiki\Json\JsonUnserializable' not found in /home/mapeador/solecov2/w/extensions/SemanticMediaWiki/src/Options.php:17 Stack trace: #0 {main} thrown in /home/mapeador/solecov2/w/extensions/SemanticMediaWiki/src/Options.php on line 17