MediaWiki:DrawioEditorConfig.json: Difference between revisions