the_weekday_date

		$the_time = false;
	} else {
		$_format = ! empty( $format ) ? $format : get_option( 'time_format' );

		$the_time = get_post_modified_time( $_format, false, $post, true );
	}

	/**
	 * Filters the localized time a post was last modified.
	 *
	 * @since 2.0.0
	 * @since 4.6.0 Added the `$post` parameter.
	 *
	 * @param string|bool  $the_time The formatted time or false if no post is found.
	 * @param string       $format   Format to use for retrieving the time the post was
	 *                               written. Accepts 'G', 'U', or PHP date format. Defaults
	 *                               to value specified in 'time_format' option.
	 * @param WP_Post|null $post     WP_Post object or null if no post is found.
	 */
	return apply_filters( 'get_the_modified_time', $the_time, $format, $post );
}

/**
 * Retrieve the time at which the post was last modified.
 *
 * @since 2.0.0
 *
 * @param string      $format    Optional. Format to use for retrieving the time the post
 *                               was modified. Either 'G', 'U', or PHP date format. Default 'U'.