Sau khi lưu trang này, hãy xóa bộ nhớ đệm của trình duyệt để những thay đổi hiện ra:
Chrome, Firefox, Internet Explorer, Opera: Ctrl+⇧ Shift+R
/* 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.');
