wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 08:23:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
211 commits 147 branches 0 tags 125 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Bartosz Dziewoński 711d5c4371 Parse Parsoid document as XHTML to avoid IE 11 bugs 
This is the same as in VisualEditor. ve.parseXhtml has workarounds for
IE 11 bugs that would cause dirty diffs when saving.

Note that we must use ve.serializeXhtml to convert the document back
to a HTML string, but this is already the case (the conversion happens
in mw.libs.ve.targetSaver.saveDoc).

Change-Id: Ib6dec0002eaf33fc0d4a45331a6d38e5c5d7ab8c
2020-03-02 18:14:35 +01:00
i18n Localisation updates from https://translatewiki.net. 2020-03-02 09:09:50 +01:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Replace deprecated Language class properties with constants 2020-02-28 09:19:21 +01:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Parse Parsoid document as XHTML to avoid IE 11 bugs 2020-03-02 18:14:35 +01:00
tests Work around mw.Uri crash on fallback encoding in links 2020-02-29 19:08:01 +01: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 Work around mw.Uri crash on fallback encoding in links 2020-02-29 19:08:01 +01: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