MediaWiki extension for safe embedding of locally-hosted scripts