Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools

Bartosz Dziewoński 515af82061 Reduce duplication between PHP parser and data gen for JS parser ... Also, make the handling of TranslateNumerals and digitsRegexp the same between PHP and JS. Change-Id: I1d81343d0b59ab3ecd59ba1c2ad99a729d983ac4		2020-05-19 20:54:44 +02:00
i18n	Localisation updates from https://translatewiki.net.	2020-05-19 08:24:16 +02:00
images	Add beta feature preference	2020-02-21 15:20:48 +00:00
includes	Reduce duplication between PHP parser and data gen for JS parser	2020-05-19 20:54:44 +02:00
maintenance	Defensive use of dynamic paths in maintenance script	2020-02-20 19:51:07 +01:00
modules	Reduce duplication between PHP parser and data gen for JS parser	2020-05-19 20:54:44 +02:00
tests	Merge "Add test case for unwrapParsoidSections()"	2020-05-18 23:39:12 +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	The Great Parser JS to PHP port of 2020!*	2020-05-12 12:33:04 +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 dependencies	2020-04-22 08:19:10 +00:00
COPYING	Add required files for an extension	2019-10-10 19:42:56 +01:00
extension.json	Add test case for unwrapParsoidSections()	2020-05-18 21:36:48 +00:00
Gruntfile.js	build: Updating npm dependencies	2020-01-09 06:43:15 +00:00
package-lock.json	build: Updating dependencies	2020-04-22 08:19:10 +00:00
package.json	build: Updating dependencies	2020-04-22 08:19:10 +00:00