wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-28 10:11:45 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
1502 commits 11 branches 4 tags 128 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Bartosz Dziewoński a5099739a6 Improve notifications for comments posted in close succession 
In case 4 and case 6, no notifications are expected. In all other
cases we now get the expected notifications.

Bug: T285528
Change-Id: I9e813bb3a053bc1232783f9eae1ad75672b4fa7e
2021-08-01 12:27:33 +02:00
.phan Don't refer directly to PHP dom extension classes; avoid nonstandard behavior 2021-07-30 18:15:40 -04:00
i18n Localisation updates from https://translatewiki.net. 2021-07-30 08:27:37 +02:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Improve notifications for comments posted in close succession 2021-08-01 12:27:33 +02:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Merge "Change updating page content after saving to avoid losing footers" 2021-07-28 16:59:05 +00:00
sql Change DB column types from "string" to "binary" (VARCHAR to VARBINARY in MySQL) 2021-04-28 21:54:48 +00:00
tests Improve notifications for comments posted in close succession 2021-08-01 12:27:33 +02: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 dependencies 2021-07-22 16:29:04 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Use DOMCompat::newDocument() to create a new Document 2021-07-30 18:15:11 -04:00
Gruntfile.js build: Move eslint file list to .eslintignore 2021-03-04 18:09:34 +00:00
package-lock.json build: Updating dependencies 2021-07-22 16:29:04 +00:00
package.json build: Updating npm dependencies 2021-05-09 16:41:13 +00:00