wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-12 09:58:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
1415 commits 146 branches 0 tags 124 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Bartosz Dziewoński 9c58c0a203 Change how highlights are positioned to work better with unaware tools 
Previously, our highlights were placed in a node at the end of
the page, and positioned absolutely in relation to the whole
page. Now we insert the highlight in the DOM near the comment,
and position it in relation to that.

This way it remains positioned correctly when the page shifts
(e.g. collapsing the table of contents), and disappears when
the page content is hidden (e.g. opening visual editor).

Bug: T281471
Change-Id: I60afc4b94b2e23376105638542563e595a1811d9
2021-05-31 23:07:02 +02:00
.phan Echo wiring for topic subscriptions 2021-04-06 23:28:28 +02:00
i18n Localisation updates from https://translatewiki.net. 2021-05-31 08:30:52 +02:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Merge "Pass whole context to internal action API requests" 2021-05-26 16:46:13 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Change how highlights are positioned to work better with unaware tools 2021-05-31 23:07:02 +02:00
sql Change DB column types from "string" to "binary" (VARCHAR to VARBINARY in MySQL) 2021-04-28 21:54:48 +00:00
tests Merge "Fix adding comments in lists containing <dt> tags" 2021-05-25 19:19:49 +00:00
.eslintignore build: Move eslint file list to .eslintignore 2021-03-04 18:09:34 +00:00
.eslintrc.json build: Updating eslint-config-wikimedia to 0.19.0 2021-03-13 10:51:31 +00:00
.gitignore Remove extra blank line from .gitignore file 2020-08-31 15:24:56 +01:00
.gitreview Add .gitreview 2019-10-09 21:18:34 +00:00
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 10:53:01 +00:00
.stylelintrc.json Remove deprecated dt- classes 2021-03-23 12:39:34 +00:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Updating composer dependencies 2021-05-05 11:14:52 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Merge "Change feedback link for new topic tool" 2021-05-26 18:59:28 +00:00
Gruntfile.js build: Move eslint file list to .eslintignore 2021-03-04 18:09:34 +00:00
package-lock.json build: Updating browserslist to 4.16.6 2021-05-25 10:51:11 +00:00
package.json build: Updating npm dependencies 2021-05-09 16:41:13 +00:00