MediaWiki:Gadget-DotsSyntaxHighlighter.js

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

• Firefox / Safari: Удерживая клавишу Shift, нажмите на панели инструментов Обновить либо нажмите Ctrl-F5 или Ctrl-R (⌘-R на Mac)
• Google Chrome: Нажмите Ctrl-Shift-R (⌘-Shift-R на Mac)
• Internet Explorer: Удерживая Ctrl, нажмите Обновить либо нажмите Ctrl-F5
• Opera: Выберите очистку кэша в меню Инструменты → Настройки

mw.loader.load('//www.mediawiki.org/w/index.php?title=MediaWiki:Gadget-DotsSyntaxHighlighter.js&action=raw&ctype=text/javascript');