Todas las imagenes de custom header

gistfile1.php

		        <?php
		        if (!is_random_header_image()) {	
			        $imagenes = get_uploaded_header_images();
			        foreach ($imagenes as $imagen) {
			        	$url = $imagen['url'];
			        	echo '<img src="'.$url.'" height="'.get_custom_header()->height.'" width="'.get_custom_header()->width.'"/>';
			        }
		        } else {
		        	echo '<img src="'.get_header_image().'" height="'.get_custom_header()->height.'" width="'.get_custom_header()->width.'" alt="" />';
		        }
		        ?>