MediaWiki extension, see https://fs.fsinf.at/wiki/AddResource