wikimedia/mediawiki-extensions-Editcount
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/Editcount synced 2024-11-23 15:57:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

Add phan

Browse source 
Change-Id: I7329f96fb36be043979a82b98d3bf2937a6c1f0e
This commit is contained in:
zoranzoki21 2022-03-05 15:11:43 +01:00
parent 6c8a2f0549
commit 9abed275c3
4 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
.phan/config.php Normal file
View file

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

4
composer.json
View file

@ -1,6 +1,7 @@
{ {
"require-dev": { "require-dev": {
"mediawiki/mediawiki-codesniffer": "38.0.0", "mediawiki/mediawiki-codesniffer": "38.0.0",
"mediawiki/mediawiki-phan-config": "0.11.1",
"mediawiki/minus-x": "1.1.1", "mediawiki/minus-x": "1.1.1",
"php-parallel-lint/php-console-highlighter": "0.5.0", "php-parallel-lint/php-console-highlighter": "0.5.0",
"php-parallel-lint/php-parallel-lint": "1.3.1" "php-parallel-lint/php-parallel-lint": "1.3.1"
@ -15,6 +16,7 @@
"minus-x fix .", "minus-x fix .",
"phpcbf" "phpcbf"
], ],
"phpcs": "phpcs -sp" "phpcs": "phpcs -sp",
"phan": "phan -d . --long-progress-bar"
} }
} }

1
src/Editcount.php
View file

@ -33,6 +33,7 @@ class Editcount extends IncludableSpecialPage {
} else { } else {
$out = $contLang->formatNum( $this->editsInNs( $user, $namespace ) ); $out = $contLang->formatNum( $this->editsInNs( $user, $namespace ) );
} }
// @phan-suppress-next-line SecurityCheck-XSS
$this->getOutput()->addHTML( $out ); $this->getOutput()->addHTML( $out );
} else { } else {
$nscount = $this->editsByNs( $user ); $nscount = $this->editsByNs( $user );

1
src/EditcountHTML.php
View file

@ -51,6 +51,7 @@ class EditcountHTML extends Editcount {
$out .= ' $out .= '
</table> </table>
</form>'; </form>';
// @phan-suppress-next-line SecurityCheck-XSS
$this->getOutput()->addHTML( $out ); $this->getOutput()->addHTML( $out );
} }