wp-includes/option.php:1754Retrieves user interface setting value based on setting name.
$namestring$default_valuestring|falseoptionalfalsemixedfunction get_user_setting( $name, $default_value = false ) { $all_user_settings = get_all_user_settings(); return $all_user_settings[ $name ] ?? $default_value;}Introduced in 2.7.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-includes/option.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.