Code Editor : permissions-api.js