wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-23 15:36:52 +00:00
Code Issues Packages Projects Releases Wiki Activity

Show tag name for missing-end-tag too

Browse source 
Added in Parsoid 6d432a61f.

Change-Id: Ia716949f4fadacc3c8aab25337897c9b039f1e54
This commit is contained in:
Kunal Mehta 2016-10-20 13:45:20 -07:00
parent fa095f07c6
commit c33361e980
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/LintErrorsPager.php
View file

@ -91,7 +91,8 @@ class LintErrorsPager extends TablePager {
return $this->msg( 'linker-page-title-edit' )->rawParams( $viewLink, $editLink )->escaped();
case 'details':
if ( $this->category === 'obsolete-tag' && isset( $lintError->params['name'] ) ) {
$hasNameCats = [ 'obsolete-tag', 'missing-end-tag' ];
if ( in_array( $this->category, $hasNameCats ) && isset( $lintError->params['name'] ) ) {
return Html::element( 'code', [], $lintError->params['name'] );
} elseif ( $this->category === 'bogus-image-options' && isset( $lintError->params['items'] ) ) {
$list = array_map( function( $in ) {