MediaWiki:Gadget-DotsSyntaxHighlighter.js

Замечание: Возможно, после публикации вам придётся очистить кэш своего браузера, чтобы увидеть изменения.

Firefox / Safari: Удерживая клавишу Shift, нажмите на панели инструментов Обновить либо нажмите Ctrl+F5 или Ctrl+R (⌘+R на Mac)
Google Chrome: Нажмите Ctrl+Shift+R (⌘+Shift+R на Mac)
Internet Explorer / Edge: Удерживая Ctrl, нажмите Обновить либо нажмите Ctrl+F5
Opera: Нажмите Ctrl+F5.

if (mw.config.get('wgNamespaceNumber') !== -1 && $.inArray( mw.config.get( 'wgAction' ), ['edit', 'submit'] ) !== -1 )
	mw.loader.load('//ru.wikipedia.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');