Code Editor : user-timing.js