Page MenuHomePhabricator
Create Task
Maniphest T217179

Add a user preference to disable extension
Closed, ResolvedPublic
Actions

Description

As stated in https://www.mediawiki.org/wiki/Topic:Uujt8h1k1llzuyih, a power user may want to temporarily disable the replacement of link text with the display title when working on disambiguation or redirects.

Details

SubjectRepoBranchLines +/-
Add a user preference to disable extensionmediawiki/extensions/DisplayTitlemaster+58 -5
Add a user preference to disable extensionmediawiki/extensions/DisplayTitleREL1_40+59 -5
Add a user preference to disable extensionmediawiki/extensions/DisplayTitleREL1_39+59 -5
Customize query in gerrit

Related Objects

Event Timeline

cicalese created this task.Feb 26 2019, 6:56 PM
Restricted Application added a subscriber: Aklapper. · View Herald TranscriptFeb 26 2019, 6:56 PM
cicalese added a project: User-Cicalese.Jul 26 2019, 8:01 PM
cicalese moved this task from Inbox to Backlog on the User-Cicalese board.Jul 26 2019, 8:07 PM
cicalese triaged this task as Low priority.Apr 12 2020, 10:26 PM
cicalese moved this task from Backlog to Feature Request on the User-Cicalese board.
cicalese edited projects, added MediaWiki-extensions-DisplayTitle; removed MediaWiki-extensions-Title-Icon.Jun 9 2021, 3:34 AM
gerritbot added a comment.Jul 17 2023, 1:43 AM

Change 938471 had a related patch set uploaded (by Cicalese; author: Cicalese):

[mediawiki/extensions/DisplayTitle@master] Add a user preference to disable extension

https://gerrit.wikimedia.org/r/938471

gerritbot added a project: Patch-For-Review.Jul 17 2023, 1:44 AM
cicalese moved this task from Backlog to Waiting for Merge on the MediaWiki-extensions-DisplayTitle board.Jul 17 2023, 2:00 AM
gerritbot added a comment.Jul 21 2023, 7:04 PM

Change 938471 merged by jenkins-bot:

[mediawiki/extensions/DisplayTitle@master] Add a user preference to disable extension

https://gerrit.wikimedia.org/r/938471

Maintenance_bot removed a project: Patch-For-Review.Jul 21 2023, 7:12 PM
CCicalese_WMF mentioned this in rEDPTeaa7253569a3: Add a user preference to disable extension.Jul 21 2023, 7:12 PM
cicalese closed this task as Resolved.Jul 21 2023, 8:55 PM
cicalese claimed this task.
cicalese moved this task from Waiting for Merge to Closed on the MediaWiki-extensions-DisplayTitle board.
cicalese moved this task from Feature Request to Closed on the User-Cicalese board.
gerritbot added a comment.Jul 21 2023, 9:38 PM

Change 940446 had a related patch set uploaded (by Cicalese; author: Cicalese):

[mediawiki/extensions/DisplayTitle@REL1_39] Add a user preference to disable extension

https://gerrit.wikimedia.org/r/940446

gerritbot added a project: Patch-For-Review.Jul 21 2023, 9:38 PM

Change 940447 had a related patch set uploaded (by Cicalese; author: Cicalese):

[mediawiki/extensions/DisplayTitle@REL1_40] Add a user preference to disable extension

https://gerrit.wikimedia.org/r/940447

gerritbot added a comment.Jul 21 2023, 9:47 PM

Change 940446 merged by jenkins-bot:

[mediawiki/extensions/DisplayTitle@REL1_39] Add a user preference to disable extension

https://gerrit.wikimedia.org/r/940446

CCicalese_WMF mentioned this in rEDPT07ede8258e02: Add a user preference to disable extension.Jul 21 2023, 9:47 PM
gerritbot added a comment.Jul 21 2023, 9:49 PM

Change 940447 merged by jenkins-bot:

[mediawiki/extensions/DisplayTitle@REL1_40] Add a user preference to disable extension

https://gerrit.wikimedia.org/r/940447

CCicalese_WMF mentioned this in rEDPT4d1ffbf4c831: Add a user preference to disable extension.Jul 21 2023, 9:50 PM
Maintenance_bot removed a project: Patch-For-Review.Jul 21 2023, 10:11 PM
cicalese added a comment.Jul 26 2023, 6:15 PM

This work was reverted by https://gerrit.wikimedia.org/r/c/mediawiki/extensions/DisplayTitle/+/941986 because it caused T342727. It also introduced undesirable latency in link creation.

Content licensed under Creative Commons Attribution-ShareAlike (CC BY-SA) 4.0 unless otherwise noted; code licensed under GNU General Public License (GPL) 2.0 or later and other open source licenses. By using this site, you agree to the Terms of Use, Privacy Policy, and Code of Conduct. · Wikimedia Foundation · Privacy Policy · Code of Conduct · Terms of Use · Disclaimer · CC-BY-SA · GPL · Credits