Extension:JSXGraph MediaWiki Plugin