wikimedia/mediawiki-extensions-Linter
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Linter synced 2024-11-27 17:20:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Display table tag for deletable-table-tag pages to prevent UI confusion"

Browse source
This commit is contained in:
jenkins-bot 2017-07-05 20:07:52 +00:00 committed by Gerrit Code Review
parent 6aa82af850 eb99fd05e3
commit 40b029fdf7
1 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
includes/LintErrorsPager.php
View file

@ -118,9 +118,8 @@ class LintErrorsPager extends TablePager {
->rawParams( $viewLink, $editHistLinks ) ->rawParams( $viewLink, $editHistLinks )
->escaped(); ->escaped();
case 'details': case 'details':
// While deletable-table-tag has params set, it adds no new information
// and is not included here since the error category has the tag name.
$hasNameCats = [ $hasNameCats = [
'deletable-table-tag',
'obsolete-tag', 'obsolete-tag',
'missing-end-tag', 'missing-end-tag',
'self-closed-tag', 'self-closed-tag',