A MediaWiki extension for DF-style diagrams