wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 00:13:36 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
145 commits 147 branches 0 tags 125 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Ed Sanders 5f966e845b Remove vertical padding from VE visual target 
Compensates for vertical padding on paragraphs.

Match source mode padding to that of a TextInputWidget.

Change-Id: Ia53d8d2a6b9eff464c6c61152d02250088049bf9
2020-02-18 15:53:45 +00:00
i18n Add editor-mode changetags 2020-02-06 20:22:27 +01:00
includes Add editor-mode changetags 2020-02-06 20:22:27 +01:00
maintenance Call Maintenance::requireExtension 2020-01-13 22:15:43 +01:00
modules Remove vertical padding from VE visual target 2020-02-18 15:53:45 +00:00
tests Handle comments before first section heading 2020-01-30 00:14:46 -08: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 Add config option and query parameter to control loading 2020-02-04 22:06:13 +01:00
Gruntfile.js build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
package-lock.json build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
package.json build: Updating npm dependencies 2020-01-09 06:43:15 +00:00