function default_user_config_option($option, $default = null) { return UserWsConfigOptions::getDefaultOptionValue($option, $default); }
function default_user_config_option($option, $default = null) { return UserWsConfigOptions::getDefaultOptionValue($option, $default); }