MediaWiki:Gadget-CodeEditor.js

Увага: Після публікування слід очистити кеш браузера, щоб побачити зміни.

Firefox / Safari: тримайте Shift, коли натискаєте Оновити, або натисніть Ctrl-F5 чи Ctrl-Shift-R (⌘-R на Apple Mac)
Google Chrome: натисніть Ctrl-Shift-R (⌘-Shift-R на Apple Mac)
Edge: тримайте Ctrl, коли натискаєте Оновити, або натисніть Ctrl-F5.

/* Broken and not migrated in time (see history) */
mw.log.warn('The CodeEditor gadget has been converted into an extension, and is no longer necessary.');