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
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
3800 commits 11 branches 4 tags 127 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
David Lynch 5276729d3e Add #top to the ignore list for checking for moved topics 
Top is in the WHATWG spec as a magic value that always navigates to the
top of the document.

There used to be a #top element in pre-Vector2022 skins, and it's in
fairly wide use on some wikis in signatures and via gadgets, so many
links exist that point to it.

Bug: T360274
Change-Id: Ia12464239ab2cdc428c570d0cf5df1c0d1780b7a
2024-03-22 22:01:17 -05:00
.phan ThreadItemStore: Add details to row insertion exceptions 2023-09-14 19:05:04 +00:00
i18n Localisation updates from https://translatewiki.net. 2024-03-21 08:54:57 +01:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Merge "Move [subscribe] links outside of <h2> tags" 2024-03-11 17:07:14 +00:00
maintenance Remove now redundant PHPDoc blocks 2024-03-10 23:53:04 +00:00
modules Add #top to the ignore list for checking for moved topics 2024-03-22 22:01:17 -05:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests Merge "Move [subscribe] links outside of <h2> tags" 2024-03-11 17:07:14 +00:00
.eslintignore Add button to reveal lede section on mobile 2022-11-10 22:10:04 +00:00
.eslintrc.json Don't enforce alphabetical order in i18n files 2022-08-12 13:29:39 +03:00
.gitignore Remove extra blank line from .gitignore file 2020-08-31 15:24:56 +01:00
.gitreview .gitreview: Remove defaultrebase/defaultbranch 2023-09-09 21:37:34 +00:00
.phpcs.xml Update PHPCS overrides 2024-03-10 22:59:05 +01:00
.stylelintrc.json Move "Return to comment" below sticky header when present 2022-09-25 13:28:12 +01:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Upgrade mediawiki/mediawiki-codesniffer to v43.0.0 2024-03-10 17:36:18 +01:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Translate DiscussionTools alias into Bengali (bn) 2023-08-19 00:31:46 +00:00
DiscussionTools.magic.php Translate magic words into Bengali (bn) 2023-08-19 00:06:13 +00:00
extension.json Remove temporary newsectionlink_enable config 2024-02-19 17:34:23 +00:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update linters and fix 2023-11-28 16:10:47 +00:00
package.json build: Update linters and fix 2023-11-28 16:10:47 +00:00