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

build: Updating mediawiki/mediawiki-codesniffer to 43.0.0

Browse source 
Change-Id: I80eae8fa86e1d57e229bccc6d081935e06085d1e
This commit is contained in:
libraryupgrader 2024-03-17 17:15:46 +00:00
parent abec4f9b54
commit b495f44760
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
composer.json
View file

@ -1,6 +1,6 @@
{
"require-dev": {
"mediawiki/mediawiki-codesniffer": "41.0.0",
"mediawiki/mediawiki-codesniffer": "43.0.0",
"mediawiki/mediawiki-phan-config": "0.14.0",
"mediawiki/minus-x": "1.1.1",
"php-parallel-lint/php-console-highlighter": "1.0.0",
@ -18,5 +18,10 @@
],
"phpcs": "phpcs -sp",
"phan": "phan -d . --long-progress-bar"
},
"config": {
"allow-plugins": {
"dealerdirect/phpcodesniffer-composer-installer": true
}
}
}

2
src/Editcount.php
View file

@ -15,7 +15,7 @@ class Editcount extends IncludableSpecialPage {
public function execute( $par ) {
$target = $par ?? $this->getRequest()->getText( 'username' );
list( $username, $namespace ) = $this->extractParameters( $target );
[ $username, $namespace ] = $this->extractParameters( $target );
$this->getOutput()->enableOOUI();
$this->getOutput()->addWikiMsg( 'editcount-before' );