I am using shortcode [modified_date] that calls the following PHP function:
function post_modified_date() {
return get_the_modified_date();
}
add_shortcode( 'modified_date', 'post_modified_date' );
This returns a date in the following format: December 18, 2020. How can I make it so that every month would be shortened to 3 letter only followed by a dot, so it would read: Dec. 18, 2020?