get_the_modified_date( string $format = '', int|WP_Post|null $post = null ): string|int|false

2998function get_the_modified_date( $format = '', $post = null ) {2999	$post = get_post( $post );3000 3001	if ( ! $post ) {3002		// For backward compatibility, failures go through the filter below.3003		$the_time = false;3004	} else {3005		$_format = ! empty( $format ) ? $format : get_option( 'date_format' );3006 3007		$the_time = get_post_modified_time( $_format, false, $post, true );3008	}3009 3010	/**3011	 * Filters the date a post was last modified.3012	 *3013	 * @since 2.1.03014	 * @since 4.6.0 Added the `$post` parameter.3015	 *3016	 * @param string|int|false $the_time The formatted date or false if no post is found.3017	 * @param string           $format   PHP date format.3018	 * @param WP_Post|null     $post     WP_Post object or null if no post is found.3019	 */3020	return apply_filters( 'get_the_modified_date', $the_time, $format, $post );3021}