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
2369 commits 147 branches 0 tags 125 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Esanders d6a8c75899 Hide the lede section on mobile when DiscussionTools is enabled (2nd attempt) 
Previously this was reverted in I28a5c774f5f after the initial
commit I3736b488046 caused T312177.

Bug: T311760
Change-Id: Iba65615378b183f0c970afff565f45cc878f1d71
2022-07-06 16:03:27 +01:00
.phan Merge "Update DiscussionTools phan configuration to match new Parsoid DOM alias config" 2022-01-20 23:34:25 +00:00
i18n Localisation updates from https://translatewiki.net. 2022-07-04 08:21:59 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Add return type to jsonSerialize() 2022-07-02 17:32:04 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Hide the lede section on mobile when DiscussionTools is enabled (2nd attempt) 2022-07-06 16:03:27 +01:00
sql Automatic topic subscriptions (on any edit) 2021-11-15 22:45:42 +01:00
tests Merge "Add some missing typehints" 2022-06-29 15:24:25 +00:00
.eslintignore Fix linting on i18n key order 2021-10-07 17:37:51 +01:00
.eslintrc.json build: Updating ansi-regex to 5.0.1 2021-10-09 07:08:30 +00: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-codesniffer to 32.0.0 2020-10-29 10:53:01 +00:00
.stylelintrc.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Updating composer dependencies 2022-05-21 02:45:49 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Add Korean special page alias 2022-06-30 10:48:20 +09:00
extension.json Pass useskin/mobileformat when previewing/refreshing page contents 2022-06-27 17:15:28 +01:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00
package.json build: Update stylelint-config-wikimedia to 0.13.0 2022-05-04 23:25:06 +01:00