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
2439 commits 147 branches 0 tags 125 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Ed Sanders 434e11df87 Enable new comment notifications on mobile 
Since writing this feature we added the ability to update
the page dynamically on mobile, so this shoud just work now.

Bug: T301929
Change-Id: Iceb5d8c90a892807745ba7133b7dd389293d3327
2022-07-31 00:07:14 +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-29 08:52:57 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Merge "Don't show empty page state on redirect pages" 2022-07-28 22:26:11 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Enable new comment notifications on mobile 2022-07-31 00:07:14 +01:00
sql Automatic topic subscriptions (on any edit) 2021-11-15 22:45:42 +01:00
tests Merge "API ThreadItemsHTML: improve generation of othercontent" 2022-07-28 21:56:56 +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 Show empty state on mobile when there is only non-discussion content 2022-07-26 13:52:22 +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 Merge "Show a "Return to reply/new topic" button when widget is scrolled off the screen" 2022-07-18 16:09:54 +00: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