wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 16:34:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
811 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 432a959436 Ignore empty paragraphs at the beginning of comments 
The wikitext parser outputs `<p><br></p>` for empty paragraphs, so we
need to ignore `<br>` tags when searching for an "interesting" node
that marks the beginning of a comment. Otherwise the empty paragraphs
mess up the detection of indentation levels.

Bug: T264116
Change-Id: I84a97ab577baa7336b78935ccdc48041ecfc231a
2020-09-29 22:22:35 +02:00
.phan build: Add mediawiki/mediawiki-phan-config 2020-06-10 22:21:07 +02:00
i18n Localisation updates from https://translatewiki.net. 2020-09-29 08:19:24 +02:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Ignore empty paragraphs at the beginning of comments 2020-09-29 22:22:35 +02:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Ignore empty paragraphs at the beginning of comments 2020-09-29 22:22:35 +02:00
tests Ignore empty paragraphs at the beginning of comments 2020-09-29 22:22:35 +02:00
.eslintrc.json build: Update devDependencies 2020-06-09 19:42:05 +01: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-phan-config to 0.10.3 2020-09-25 00:22:53 +00: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/mediawiki-phan-config to 0.10.3 2020-09-25 00:22:53 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Add integration tests using pages from sr.wp 2020-09-16 22:07:16 +00:00
Gruntfile.js build: Update devDependencies 2020-06-09 19:42:05 +01:00
package-lock.json build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00
package.json build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00