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

Add an exception for ConvenientDiscussions-style permalinks

Browse source 
Bug: T349653
Change-Id: I775774084bb8abf2bc99475b426d581bed306306
(cherry picked from commit 7b941aae1c)
This commit is contained in:
David Lynch 2024-01-30 16:44:30 -06:00 committed by Bartosz Dziewoński
parent a4d341df4b
commit f113a8cc8c
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/controller.js
View file

@ -583,6 +583,8 @@ function init( $container, state ) {
// A leading '/' usually means a application route, e.g. /media, or /editor.
// We can't rule out a heading title (T349498), but they are unlikely
/^\//,
// Gadget: ConvenientDiscussions
/^\d{12}_/,
// Gadget: RedWarn
/^noticeApplied-/
];