wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-24 16:34:21 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
852 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 9ee0fd69f5 Allow headings to have IDs 
Previously, only comments could have IDs, because we only needed IDs
for replying. But we might also use them for notifications soon.

Bug: T264478
Change-Id: I1bcad02bf17ab54bc5028a959543c10f0430836b
2020-10-22 02:04:28 +02:00
.phan build: Add mediawiki/mediawiki-phan-config 2020-06-10 22:21:07 +02:00
i18n Localisation updates from https://translatewiki.net. 2020-10-20 08:29:48 +02:00
images Add beta feature preference 2020-02-21 15:20:48 +00:00
includes Allow headings to have IDs 2020-10-22 02:04:28 +02:00
maintenance Defensive use of dynamic paths in maintenance script 2020-02-20 19:51:07 +01:00
modules Allow headings to have IDs 2020-10-22 02:04:28 +02:00
tests Allow headings to have IDs 2020-10-22 02:04:28 +02:00
.eslintrc.json build: Update devDependencies 2020-06-09 19:42:05 +01:00
.gitignore Remove extra blank line from .gitignore file 2020-08-31 15:24:56 +01:00
.gitreview
.phpcs.xml build: Updating mediawiki/mediawiki-phan-config to 0.10.3 2020-09-25 00:22:53 +00:00
.stylelintrc.json build: Updating mediawiki/mediawiki-codesniffer to 29.0.0 2020-01-14 04:55:38 +00: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.10.3 2020-09-25 00:22:53 +00:00
COPYING Add required files for an extension 2019-10-10 19:42:56 +01:00
extension.json Enable DT server side via a cookie to preserve user enable hack 2020-10-19 21:42:58 +01:00
Gruntfile.js build: Update devDependencies 2020-06-09 19:42:05 +01:00
package-lock.json build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00
package.json build: Update eslint-config-wikimedia to 0.17.0 2020-08-26 23:46:34 +01:00