wikimedia/mediawiki-extensions-CategoryTree
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CategoryTree synced 2024-11-27 09:43:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove an outdated comment

Browse source 
No href will be added on the JS side either.

Change-Id: I4c78fef10c24a942db7e468106588b16012ab653
This commit is contained in:
Ebrahim Byagowi 2024-11-05 14:45:37 +03:30
parent 77b047b12b
commit 845595cb8e
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/CategoryTree.php
View file

@ -351,7 +351,6 @@ class CategoryTree {
$attr['class'] = 'CategoryTreeEmptyBullet'; $attr['class'] = 'CategoryTreeEmptyBullet';
} else { } else {
$linkattr = [ $linkattr = [
// href and role will be added client-side
'class' => 'CategoryTreeToggle', 'class' => 'CategoryTreeToggle',
'data-ct-title' => $key, 'data-ct-title' => $key,
]; ];