wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-15 03:44:02 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
2664 commits 146 branches 0 tags 124 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Sam Smith b90a2675b0 logger: Use wgWMESchemaVisualEditorFeatureUseSamplingRate config variable 
... for the sampling rate for the VisualEditorFeatureUse schema.

Bug: T312016
Depends-On: I259757db0c4441a3fcfce505d5bc82dcf2acf58c
Change-Id: I1c7f9c06384549deac2787f5df93c0078b6402af
2022-10-03 11:46:43 +01:00
.phan Prevent using the reply tool together with Convenient Discussions gadget 2022-08-17 01:40:43 +02:00
i18n Localisation updates from https://translatewiki.net. 2022-10-03 09:45:36 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Add config to separate out visualenhancements on mobile 2022-09-28 17:12:48 -05:00
maintenance maintenance: Use standard doMaintenance boilerplate 2022-09-30 18:01:57 +02:00
modules logger: Use wgWMESchemaVisualEditorFeatureUseSamplingRate config variable 2022-10-03 11:46:43 +01:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests Add @covers CommentUtils to tests that use it 2022-09-16 13:22:43 +02:00
.eslintignore Fix linting on i18n key order 2021-10-07 17:37:51 +01: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
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 32.0.0 2020-10-29 10:53:01 +00: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 Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Add Korean special page aliases 2022-09-20 17:01:54 +09:00
extension.json Add config to separate out visualenhancements on mobile 2022-09-28 17:12:48 -05:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00
package.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00