the_time( string $d = '' )

function the_time( $d = '' ) {
	/**
	 * Filters the time a post was written for display.
	 *
	 * @since WP-0.71
	 *
	 * @param string $get_the_time The formatted time.
	 * @param string $d            The time format. Accepts 'G', 'U',
	 *                             or php date format.
	 */
	echo apply_filters( 'the_time', get_the_time( $d ), $d );
}