wikimedia/mediawiki-extensions-DiscussionTools
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/DiscussionTools synced 2024-11-23 16:06:53 +00:00
Code Issues Packages Projects Releases Wiki Activity
Mirror of https://gerrit.wikimedia.org/g/mediawiki/extensions/DiscussionTools
3520 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 781a33357b Use type hints for properties, remove PHPCS overrides 
MediaWiki's PHPCS plugin requires documentation comments on all
properties, unless those properties are typed.

This has potential to introduce bugs – in particular, because typed
properties without a default value will throw an exception if their
value is accessed before it's defined, while previously they defaulted
to null. I fixed this when I found it (making them nullable and null
by default), but I may have missed some cases.

Change-Id: If5b1f4d542ce3e1b69327ee4283f7c3e133a62a0
2023-10-19 19:31:02 +00:00
.phan ThreadItemStore: Add details to row insertion exceptions 2023-09-14 19:05:04 +00:00
i18n Localisation updates from https://translatewiki.net. 2023-10-19 08:41:44 +02:00
images Compress emptystate.svg with svgo 2021-10-04 12:56:20 +01:00
includes Use type hints for properties, remove PHPCS overrides 2023-10-19 19:31:02 +00:00
maintenance Use namespaced Wikimedia\Rdbms\IDatabase 2023-08-20 14:48:33 +02:00
modules overflow menu: Display next to comments on desktop 2023-10-18 11:37:18 +00:00
sql Store permalink data, implement Special:FindComment/GoToComment 2022-08-11 01:19:47 +02:00
tests [BREAKING CHANGE] Remove isSectionEditable from overflow hook 2023-10-18 12:56:46 +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 .gitreview: Remove defaultrebase/defaultbranch 2023-09-09 21:37:34 +00:00
.phpcs.xml Use type hints for properties, remove PHPCS overrides 2023-10-19 19:31:02 +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 Translate DiscussionTools alias into Bengali (bn) 2023-08-19 00:31:46 +00:00
DiscussionTools.magic.php Translate magic words into Bengali (bn) 2023-08-19 00:06:13 +00:00
extension.json Merge "Fix topic subscription icon in Minerva" 2023-10-17 19:49:34 +00: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