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
1258 commits 138 branches 0 tags 114 MiB
HTML 93.4%
PHP 3.5%
JavaScript 2.9%
Less 0.2%
Go to file
Ed Sanders 86fe745724 UsernameCompletion: Use ve.ce.Surface.findMatchingSequences 
Depends-On: I7a9b9abaa5a518f21f9965a16803e0a4c82b436f
Depends-On: I48e1137150dee024ebdc96f0e780a88bff6b8177
Change-Id: I06d31694c9fddb3795e61dccecf812b7e1a783b2
2021-03-24 17:56:20 +00:00
.phan build: Add mediawiki/mediawiki-phan-config 2020-06-10 22:21:07 +02:00
i18n Localisation updates from https://translatewiki.net. 2021-03-22 08:36:25 +01:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Give comments IDs so they can be scrolled to with hash links 2021-03-20 15:43:23 +00:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules UsernameCompletion: Use ve.ce.Surface.findMatchingSequences 2021-03-24 17:56:20 +00:00
tests Give comments IDs so they can be scrolled to with hash links 2021-03-20 15:43:23 +00:00
.eslintignore build: Move eslint file list to .eslintignore 2021-03-04 18:09:34 +00:00
.eslintrc.json build: Updating eslint-config-wikimedia to 0.19.0 2021-03-13 10:51:31 +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 Change dt- class prefix to ext-discussiontools- 2021-03-13 14:42:39 +00:00
CODE_OF_CONDUCT.md build: Updating npm dependencies 2020-01-09 06:43:15 +00:00
composer.json build: Updating dependencies 2021-01-29 09:54:58 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Add explicit dependency on mediawiki.api 2021-03-20 17:34:38 +00:00
Gruntfile.js build: Move eslint file list to .eslintignore 2021-03-04 18:09:34 +00:00
package-lock.json build: Updating eslint-config-wikimedia to 0.19.0 2021-03-13 10:51:31 +00:00
package.json build: Updating eslint-config-wikimedia to 0.19.0 2021-03-13 10:51:31 +00:00