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

3244function get_the_modified_time( $format = '', $post = null ) {3245	$post = get_post( $post );3246 3247	if ( ! $post ) {3248		// For backward compatibility, failures go through the filter below.3249		$the_time = false;3250	} else {3251		$_format = ! empty( $format ) ? $format : get_option( 'time_format' );3252 3253		$the_time = get_post_modified_time( $_format, false, $post, true );3254	}3255 3256	/**3257	 * Filters the localized time a post was last modified.3258	 *3259	 * @since 2.0.03260	 * @since 4.6.0 Added the `$post` parameter.3261	 *3262	 * @param string|int|false $the_time The formatted time or false if no post is found.3263	 * @param string           $format   Format to use for retrieving the time the post3264	 *                                   was modified. Accepts 'G', 'U', or PHP date format.3265	 * @param WP_Post|null     $post     WP_Post object or null if no post is found.3266	 */3267	return apply_filters( 'get_the_modified_time', $the_time, $format, $post );3268}