WINDOW_CUSTOMIZE_SERVER
case WINDOW_CUSTOMIZE_SERVER:
case WINDOW_CUSTOMIZE_SERVER:
else if (scope != WINDOW_CUSTOMIZE_SERVER)
case WINDOW_CUSTOMIZE_SERVER:
if (scope == WINDOW_CUSTOMIZE_SERVER ||
WINDOW_CUSTOMIZE_SERVER, global_options,