wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-12 01:16:19 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
1699 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 c4e08d7736 Fix phrasing of 'tag-discussiontools-edit' message (unused) 
A tag described as "Edit comment" doesn't make sense grammatically.
It should be in past tense, "Edited comment". (Another option could
be a noun, "Comment edit", but that seems less clear.)

Change-Id: I32cf6e533b4b98b5206dd3c74abdf5168f1f2e37
2021-10-22 17:16:07 +02:00
.phan Don't refer directly to PHP dom extension classes; avoid nonstandard behavior 2021-07-30 18:15:40 -04:00
i18n Fix phrasing of 'tag-discussiontools-edit' message (unused) 2021-10-22 17:16:07 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Merge "ImmutableRange: Port over changes from upstream" 2021-10-21 13:59:17 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Define documentable types in eslintrc instead of inline 2021-10-17 14:38:39 +01:00
sql Minor cleanups in topic subscription code 2021-08-17 22:22:15 +02:00
tests Define documentable types in eslintrc instead of inline 2021-10-17 14:38:39 +01:00
.eslintignore Fix linting on i18n key order 2021-10-07 17:37:51 +01:00
.eslintrc.json build: Updating ansi-regex to 5.0.1 2021-10-09 07:08:30 +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 ansi-regex to 5.0.1 2021-10-09 07:08:30 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Add Special:TopicSubscriptions 2021-10-06 20:06:01 +00:00
extension.json Remove unused non-parser-cache mode 2021-10-07 17:59:10 +02:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Updating ansi-regex to 5.0.1 2021-10-09 07:08:30 +00:00
package.json build: Updating stylelint-config-wikimedia to 0.11.1 2021-09-04 19:36:49 +00:00