wp/wp-includes/widgets/class-wp-widget-categories.php
changeset 19 3d72ae0968f4
parent 18 be944660c56a
child 21 48c4eec2b7e6
equal deleted inserted replaced
18:be944660c56a 19:3d72ae0968f4
   118 
   118 
   119 			if ( 'html5' === $format ) {
   119 			if ( 'html5' === $format ) {
   120 				// The title may be filtered: Strip out HTML and make sure the aria-label is never empty.
   120 				// The title may be filtered: Strip out HTML and make sure the aria-label is never empty.
   121 				$title      = trim( strip_tags( $title ) );
   121 				$title      = trim( strip_tags( $title ) );
   122 				$aria_label = $title ? $title : $default_title;
   122 				$aria_label = $title ? $title : $default_title;
   123 				echo '<nav role="navigation" aria-label="' . esc_attr( $aria_label ) . '">';
   123 				echo '<nav aria-label="' . esc_attr( $aria_label ) . '">';
   124 			}
   124 			}
   125 			?>
   125 			?>
   126 
   126 
   127 			<ul>
   127 			<ul>
   128 				<?php
   128 				<?php