export const SET_CURRENT_SERVER = 'SET_CURRENT_SERVER'; export const SET_ALL_SETTINGS = 'SET_ALL_SETTINGS'; export const SET_ALL_PERMISSIONS = 'SET_ALL_PERMISSIONS';