wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 10:58:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
194 commits 138 branches 0 tags 114 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Bartosz Dziewoński e9c401e3aa Ignore LRM and RLM before timezone indicator 
They are not generated by MediaWiki, but they often appear when users
sign others' unsigned comments by copy-pasting the timestamp from the
history page.

Add test config data for nlwiki, exported by running this in the
browser console:

  copy(
    JSON.stringify( { wgArticlePath, wgNamespaceIds, wgFormattedNamespaces }, null, 2 ) + '\n' +
    JSON.stringify( mw.loader.moduleRegistry['ext.discussionTools.parser'].packageExports['data.json'], null, 2 )
  );

Bug: T245784
Change-Id: Icbcdc5a028e9ce2cb09173f87769e525ec3082fc
2020-02-25 00:20:00 +00:00
i18n Adjust change tag display 2020-02-24 19:27:27 +00:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Merge "Add beta feature preference" 2020-02-21 22:00:44 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Ignore LRM and RLM before timezone indicator 2020-02-25 00:20:00 +00:00
tests Ignore LRM and RLM before timezone indicator 2020-02-25 00:20:00 +00:00
.eslintrc.json build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
.gitignore Add .gitignore file 2019-10-10 21:21:00 +01:00
.gitreview Add .gitreview 2019-10-09 21:18:34 +00:00
.phpcs.xml build: Add missing .phpcs.xml and make pass 2020-01-13 20:48:11 +01:00
.stylelintrc.json build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-14 04:55:38 +00:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Updating mediawiki/minus-x to 1.0.0 2020-01-29 03:41:40 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Ignore LRM and RLM before timezone indicator 2020-02-25 00:20:00 +00:00
Gruntfile.js build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
package-lock.json Bump outdated packages: grunt-stylelint and stylelint-config-wikimedia 2020-02-18 19:27:54 -06:00
package.json Bump outdated packages: grunt-stylelint and stylelint-config-wikimedia 2020-02-18 19:27:54 -06:00