wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-09-24 02:48:18 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
3278 commits 138 branches 0 tags 114 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Bartosz Dziewoński 6bf6105d2a ApiDiscussionToolsEdit: Allow not returning the new revision content 
Sometimes we call this API and then reload the page (or navigate to
another URL), without using the page content it returns. Save some
work and some data transfer and don't generate it in those cases.

Depends-On: Ic5fac61f3ef9b2dfce6ff757f1d414a9f41f217d
Change-Id: If1aea90488e3f22cc31ac1f360139ae65acf000a
2023-06-12 20:28:45 +00:00
.phan Update exception handling for new code conventions 2023-01-22 18:17:11 +00:00
i18n Localisation updates from https://translatewiki.net. 2023-06-12 13:07:14 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes ApiDiscussionToolsEdit: Allow not returning the new revision content 2023-06-12 20:28:45 +00:00
maintenance Add various, more specific type hints 2023-06-09 13:44:42 +02:00
modules ApiDiscussionToolsEdit: Allow not returning the new revision content 2023-06-12 20:28:45 +00:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests Add various, more specific type hints 2023-06-09 13:44:42 +02:00
.eslintignore Add button to reveal lede section on mobile 2022-11-10 22:10:04 +00:00
.eslintrc.json Don't enforce alphabetical order in i18n files 2022-08-12 13:29:39 +03: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 41.0.0 2023-03-12 00:45:46 +00:00
.stylelintrc.json Move "Return to comment" below sticky header when present 2022-09-25 13:28:12 +01: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.12.1 2023-04-29 02:29:39 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Set alias of special page name for Urdu language 2023-05-02 12:44:34 +00:00
DiscussionTools.magic.php Translate magic words into Polish 2023-04-04 11:30:58 +00:00
extension.json Remove DiscussionToolsEnableMobile 2023-06-06 13:25:21 +01:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Update devDependencies 2023-05-24 18:55:11 +01:00
package.json build: Update devDependencies 2023-05-24 18:55:11 +01:00