build: Updating mediawiki/mediawiki-codesniffer to 13.0.0
Change-Id: I90d2696ee78e6647bdc034c55fcab5896ea76f3d
This commit is contained in:
parent
ef2b6c3fd0
commit
5f36ec60c7
3 changed files with 3 additions and 3 deletions
|
@ -59,7 +59,7 @@ function efContributionScores_Render( &$parser, $usertext, $metric = 'score' ) {
|
||||||
}
|
}
|
||||||
|
|
||||||
$user = User::newFromName( $usertext );
|
$user = User::newFromName( $usertext );
|
||||||
$dbr = wfGetDB( DB_SLAVE );
|
$dbr = wfGetDB( DB_REPLICA );
|
||||||
|
|
||||||
if ( $user instanceof User && $user->isLoggedIn() ) {
|
if ( $user instanceof User && $user->isLoggedIn() ) {
|
||||||
global $wgLang;
|
global $wgLang;
|
||||||
|
|
|
@ -32,7 +32,7 @@ class ContributionScores extends IncludableSpecialPage {
|
||||||
|
|
||||||
$opts = explode( ',', strtolower( $options ) );
|
$opts = explode( ',', strtolower( $options ) );
|
||||||
|
|
||||||
$dbr = wfGetDB( DB_SLAVE );
|
$dbr = wfGetDB( DB_REPLICA );
|
||||||
|
|
||||||
$userTable = $dbr->tableName( 'user' );
|
$userTable = $dbr->tableName( 'user' );
|
||||||
$userGroupTable = $dbr->tableName( 'user_groups' );
|
$userGroupTable = $dbr->tableName( 'user_groups' );
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
{
|
{
|
||||||
"require-dev": {
|
"require-dev": {
|
||||||
"jakub-onderka/php-parallel-lint": "0.9.2",
|
"jakub-onderka/php-parallel-lint": "0.9.2",
|
||||||
"mediawiki/mediawiki-codesniffer": "0.12.0",
|
"mediawiki/mediawiki-codesniffer": "13.0.0",
|
||||||
"jakub-onderka/php-console-highlighter": "0.3.2"
|
"jakub-onderka/php-console-highlighter": "0.3.2"
|
||||||
},
|
},
|
||||||
"scripts": {
|
"scripts": {
|
||||||
|
|
Loading…
Add table
Reference in a new issue