wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-11 17:02:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
3345 commits 145 branches 0 tags 124 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Bartosz Dziewoński 0f9fa35896 ThreadItemStore: Ignore duplicates caused by duplicate executions 
For some unknown reason our updates are being processed more than once
at the same time. Ignore or work around the "duplicate entry" errors
caused by that.

Bug: T323080
Bug: T341811
Change-Id: Iaae1dc2d5ed5bf4ac6760fb1d39dc21f2af89e9a
(cherry picked from commit a783b9371f)
2023-08-07 19:42:27 +00:00
.phan Update exception handling for new code conventions 2023-01-22 18:17:11 +00:00
i18n Localisation updates from https://translatewiki.net. 2023-07-31 08:57:14 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes ThreadItemStore: Ignore duplicates caused by duplicate executions 2023-08-07 19:42:27 +00:00
maintenance Add various, more specific type hints 2023-06-09 13:44:42 +02:00
modules UsernameCompletionAction: Use @inheritdoc 2023-07-24 18:53:47 +01:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests Always use === in PHP 2023-07-26 14:29:40 +01: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
.phpcs.xml build: Updating mediawiki/mediawiki-codesniffer to 41.0.0 2023-03-12 00:45:46 +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 build: Updating mediawiki/mediawiki-phan-config to 0.12.1 2023-04-29 02:29:39 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Set alias of special page name for Urdu language 2023-05-02 12:44:34 +00:00
DiscussionTools.magic.php Translate magic words into Polish 2023-04-04 11:30:58 +00:00
extension.json Add extra documentation to config for ...reply_icon_languages 2023-07-24 18:50:38 +01:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update devDependencies 2023-05-24 18:55:11 +01:00
package.json build: Update devDependencies 2023-05-24 18:55:11 +01:00