Code Editor : plugins_old.js