wp-includes/class-wp-locale.php:339Retrieves translated version of month abbreviation string.
$month_namestringstring public function get_month_abbrev( $month_name ) { return $this->month_abbrev[ $month_name ]; }Introduced in 2.1.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-includes/class-wp-locale.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.