Code Editor : check-permissions.js