Snapshot of Properties, Templates and Modules from the MaRDI portal

This resource provides a snapshot of the properties, templates, and modules of the Mardi portal for local development. The resource was created via https://portal.mardi4nfdi.de/wiki/Special:Export There are various ways to use the XML dump as described here https://www.mediawiki.org/wiki/Manual:Importing_XML_dumps I have used that dump to create an empty version of the MaRDI portal for future experiments. As the dump was too large to import via the WebUI timeout (given the current load caused by bots), I imported using the CLI: kubectl cp MaRDI+portal_properties_templates_modules-20260626074014.xml staging-wikibase-56bb456488-9jc65:/var/www/html/MaRDI_import.xml -c mediawiki ./run importDump.php ../../MaRDI_import.xml --wiki staging_wiki ./run rebuildrecentchanges.php --wiki=staging_wiki