wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-12-03 12:37:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
3834 commits 12 branches 4 tags 129 MiB
Commit graph

1 commit

Author SHA1 Message Date
Bartosz Dziewoński 4958416caf Only include one set of DiscussionTools buttons in the page HTML 
We no longer need to support toggling visual enhancements without
reloading the page, so we can remove the extraneous set of buttons
to reduce HTML size.

Bug: T322457
Change-Id: I54e57c754c54b7e611069f9832d1ebabf141a396
 2024-03-01 16:51:17 +00:00