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

Merge "Make category links arrow link to actual categories"

Browse source
This commit is contained in:
jenkins-bot 2024-10-04 23:12:32 +00:00 committed by Gerrit Code Review
parent 451aeceba1 fcc3334125
commit 5ba10fcef7
2 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/CategoryTree.php
View file

@ -372,6 +372,7 @@ class CategoryTree {
// href and role will be added client-side // href and role will be added client-side
'class' => 'CategoryTreeToggle', 'class' => 'CategoryTreeToggle',
'data-ct-title' => $key, 'data-ct-title' => $key,
'href' => $title->getLocalURL(),
]; ];
if ( $children === 0 ) { if ( $children === 0 ) {

1
modules/ext.categoryTree/ext.categoryTree.js
View file

@ -90,7 +90,6 @@
$content.find( '.CategoryTreeToggle' ) $content.find( '.CategoryTreeToggle' )
.on( 'click', handleNode ) .on( 'click', handleNode )
.attr( { .attr( {
href: '#',
role: 'button', role: 'button',
title: function () { title: function () {
return mw.msg( return mw.msg(