wikimedia/mediawiki-extensions-Echo
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Echo synced 2024-11-27 17:20:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

build: Bump phan to 0.10.2, remove taint-check

Browse source 
Change-Id: I27fe6a6d248a25e70f4b18f36cf75736ef949bc5
This commit is contained in:
Umherirrender 2020-05-31 16:57:07 +02:00
parent 8d888595ef
commit 24ab1eb35c
3 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
composer.json
View file

@ -1,7 +1,7 @@
{
"require-dev": {
"mediawiki/mediawiki-codesniffer": "31.0.0",
"mediawiki/mediawiki-phan-config": "0.9.2",
"mediawiki/mediawiki-phan-config": "0.10.2",
"mediawiki/minus-x": "1.0.0",
"php-parallel-lint/php-console-highlighter": "0.4.0",
"php-parallel-lint/php-parallel-lint": "1.0.0"
@ -16,8 +16,5 @@
"minus-x fix .",
"phpcbf"
]
},
"extra": {
"phan-taint-check-plugin": "2.0.1"
}
}

1
includes/EchoHooks.php
View file

@ -582,6 +582,7 @@ class EchoHooks {
// If the user is not an IP and this is not a null edit,
// test for them reaching a congratulatory threshold
$thresholds = [ 1, 10, 100, 1000, 10000, 100000, 1000000 ];
// @phan-suppress-next-line PhanTypeArraySuspiciousNullable
if ( $user->isLoggedIn() && $status->value['revision'] ) {
$thresholdCount = self::getEditCount( $user );
if ( in_array( $thresholdCount, $thresholds ) ) {

1
includes/special/SpecialNotifications.php
View file

@ -13,7 +13,6 @@ class SpecialNotifications extends SpecialPage {
/**
* @param string|null $par
* @suppress SecurityCheck-DoubleEscaped Different members of $notifArray being conflated
*/
public function execute( $par ) {
$this->setHeaders();