wp/wp-includes/widgets/class-wp-widget-pages.php
changeset 19 3d72ae0968f4
parent 18 be944660c56a
child 21 48c4eec2b7e6
equal deleted inserted replaced
18:be944660c56a 19:3d72ae0968f4
    99 
    99 
   100 			if ( 'html5' === $format ) {
   100 			if ( 'html5' === $format ) {
   101 				// The title may be filtered: Strip out HTML and make sure the aria-label is never empty.
   101 				// The title may be filtered: Strip out HTML and make sure the aria-label is never empty.
   102 				$title      = trim( strip_tags( $title ) );
   102 				$title      = trim( strip_tags( $title ) );
   103 				$aria_label = $title ? $title : $default_title;
   103 				$aria_label = $title ? $title : $default_title;
   104 				echo '<nav role="navigation" aria-label="' . esc_attr( $aria_label ) . '">';
   104 				echo '<nav aria-label="' . esc_attr( $aria_label ) . '">';
   105 			}
   105 			}
   106 			?>
   106 			?>
   107 
   107 
   108 			<ul>
   108 			<ul>
   109 				<?php echo $output; ?>
   109 				<?php echo $output; ?>