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