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

Merge "Add a few language-level types to the PHP code"

Browse source
This commit is contained in:
jenkins-bot 2024-11-29 18:37:55 +00:00 committed by Gerrit Code Review
parent 9f36c436ee 187b7edd13
commit 9d5df24ebc
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/EditcountHTML.php
View file

@ -2,10 +2,10 @@
class EditcountHTML extends Editcount { class EditcountHTML extends Editcount {
/** @var int[] */ /** @var int[] */
private $nscount; private array $nscount;
/** @var int */ /** @var int */
private $total; private int $total;
/** /**
* Output the HTML form on Special:Editcount * Output the HTML form on Special:Editcount
@ -15,7 +15,7 @@ class EditcountHTML extends Editcount {
* @param int[] $nscount * @param int[] $nscount
* @param int|null $total * @param int|null $total
*/ */
public function outputHTML( $username, $uid, array $nscount, $total = null ) { public function outputHTML( string $username, int $uid, array $nscount, ?int $total = null ): void {
$this->nscount = $nscount; $this->nscount = $nscount;
$this->total = $total ?: array_sum( $nscount ); $this->total = $total ?: array_sum( $nscount );
@ -60,7 +60,7 @@ class EditcountHTML extends Editcount {
* *
* @return string * @return string
*/ */
private function makeTable() { private function makeTable(): string {
$lang = $this->getLanguage(); $lang = $this->getLanguage();
$total = $this->msg( 'editcount_total' )->escaped(); $total = $this->msg( 'editcount_total' )->escaped();