WP_Locale::get_weekday_abbrev( string $weekday_name )

Source

File: wp-includes/class-wp-locale.php

public function get_weekday_abbrev( $weekday_name ) {
		return $this->weekday_abbrev[ $weekday_name ];
	}