wikimedia/mediawiki-extensions-OATHAuth
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/OATHAuth synced 2024-09-23 10:23:23 +00:00
Code Issues Packages Projects Releases Wiki Activity

Upgrade to newer phan

Browse source 
Bug: T216931
Change-Id: I7617593141b3a646113e033fdbb1e9c102975a69
This commit is contained in:
Kunal Mehta 2019-03-17 11:31:28 -07:00
parent ab1d804449
commit bd842b527c
5 changed files with 5 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
.gitignore vendored
View file

@ -4,4 +4,3 @@
composer.lock
node_modules/
vendor/
tests/phan/issues

3
.phan/config.php Normal file
View file

@ -0,0 +1,3 @@
<?php
return require __DIR__ . '/../vendor/mediawiki/mediawiki-phan-config/src/config.php';

2
composer.json
View file

@ -4,7 +4,7 @@
"mediawiki/mediawiki-codesniffer": "24.0.0",
"jakub-onderka/php-console-highlighter": "0.3.2",
"mediawiki/minus-x": "0.3.1",
"mediawiki/mediawiki-phan-config": "0.3.0"
"mediawiki/mediawiki-phan-config": "0.5.0"
},
"scripts": {
"lint": "parallel-lint . --exclude vendor --exclude node_modules",

2
includes/auth/TOTPSecondaryAuthenticationProvider.php
View file

@ -80,7 +80,7 @@ class TOTPSecondaryAuthenticationProvider extends AbstractSecondaryAuthenticatio
}
$oathuser = OATHAuthHooks::getOATHUserRepository()->findByUser( $user );
/** @suppress PhanUndeclaredProperty */
// @phan-suppress-next-line PhanUndeclaredProperty
$token = $request->OATHToken;
if ( $oathuser->getKey() === null ) {

3
tests/phan/config.php
View file

@ -1,3 +0,0 @@
<?php
return require __DIR__ . '/../../vendor/mediawiki/mediawiki-phan-config/src/config.php';