wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 08:23:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
2823 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 46d766f30d Remove override for Minerva hiding .tmbox, no longer needed 
Depends-On: Ifb0316256bdec5008acc48544ddd3e2bf71b6d41
Bug: T257394
Change-Id: I7b442d2e009f631ec8ac183f4767ffcc1e94954c
2022-11-15 11:26:08 +01:00
.phan .phan/config.php: Fix string interpolation 2022-11-05 10:45:01 -06:00
i18n Localisation updates from https://translatewiki.net. 2022-11-15 08:23:59 +01:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Merge "Move visualenhancements metadata and some buttons outside of <h2>" 2022-11-14 15:29:12 +00:00
maintenance persistRevisionThreadItems: Print time taken 2022-11-09 00:18:42 +01:00
modules Remove override for Minerva hiding .tmbox, no longer needed 2022-11-15 11:26:08 +01:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests Move visualenhancements metadata and some buttons outside of <h2> 2022-11-10 23:35:40 +01: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 32.0.0 2020-10-29 10:53:01 +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 Use PHP 7.4 property types 2022-10-28 21:56:38 +02:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
DiscussionTools.alias.php Translate: Special page names into Polish 2022-10-13 12:13:47 +00:00
extension.json Move visualenhancements metadata and some buttons outside of <h2> 2022-11-10 23:35:40 +01:00
Gruntfile.js eslint: Lint root folder with server rules 2021-10-07 17:37:52 +01:00
package-lock.json build: Updating dependencies 2022-10-09 10:55:34 +03:00
package.json build: Updating dependencies 2022-10-09 10:55:34 +03:00