Code Editor : dev-tools.min.js