wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-16 20:58:28 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
1673 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 e3af0bc65b Replace marker comment with limit report data 
We always do our processing in the parser now, so we don't need the
marker comment to detect whether we've already processed the page.

Bonus: include the time taken by our processing in the limit report.

Bug: T291831
Change-Id: Ife7ddffbad1b1495b004739212002a98fdebe6c0
2021-10-07 17:59:10 +02:00
.phan Don't refer directly to PHP dom extension classes; avoid nonstandard behavior 2021-07-30 18:15:40 -04:00
i18n Replace marker comment with limit report data 2021-10-07 17:59:10 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Replace marker comment with limit report data 2021-10-07 17:59:10 +02:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Merge "Remove uppercase of first character of auprefix" 2021-10-05 20:57:58 +00:00
sql Minor cleanups in topic subscription code 2021-08-17 22:22:15 +02:00
tests Change CommentParser and ImmutableRange to use offsets in codepoints instead of bytes 2021-09-27 19:04:16 +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-09-08 23:14:53 +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 Add Special:TopicSubscriptions 2021-10-06 20:06:01 +00:00
Gruntfile.js build: Move eslint file list to .eslintignore 2021-03-04 18:09:34 +00:00
package-lock.json build: Updating stylelint-config-wikimedia to 0.11.1 2021-09-04 19:36:49 +00:00
package.json build: Updating stylelint-config-wikimedia to 0.11.1 2021-09-04 19:36:49 +00:00