equal
deleted
inserted
replaced
131 |
131 |
132 if ( 'html5' === $format ) { |
132 if ( 'html5' === $format ) { |
133 // The title may be filtered: Strip out HTML and make sure the aria-label is never empty. |
133 // The title may be filtered: Strip out HTML and make sure the aria-label is never empty. |
134 $title = trim( strip_tags( $title ) ); |
134 $title = trim( strip_tags( $title ) ); |
135 $aria_label = $title ? $title : $default_title; |
135 $aria_label = $title ? $title : $default_title; |
136 echo '<nav role="navigation" aria-label="' . esc_attr( $aria_label ) . '">'; |
136 echo '<nav aria-label="' . esc_attr( $aria_label ) . '">'; |
137 } |
137 } |
138 ?> |
138 ?> |
139 |
139 |
140 <ul> |
140 <ul> |
141 <?php |
141 <?php |