jenkins-bot has submitted this change and it was merged.

Change subject: build: Updating development dependencies
......................................................................


build: Updating development dependencies

* mediawiki/mediawiki-codesniffer: 0.4.0 → 0.5.0

Change-Id: I443383e4600ff9157dabaf2ea3c51984432ed7f8
---
M composer.json
M switchExperimentPrefs.php
2 files changed, 3 insertions(+), 2 deletions(-)

Approvals:
  Paladox: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/composer.json b/composer.json
index e27b3cd..83708e7 100644
--- a/composer.json
+++ b/composer.json
@@ -22,7 +22,7 @@
        },
        "require-dev": {
                "jakub-onderka/php-parallel-lint": "0.9",
-               "mediawiki/mediawiki-codesniffer": "0.4.0"
+               "mediawiki/mediawiki-codesniffer": "0.5.0"
        },
        "scripts": {
                "test": [
diff --git a/switchExperimentPrefs.php b/switchExperimentPrefs.php
index 491c235..70c814c 100644
--- a/switchExperimentPrefs.php
+++ b/switchExperimentPrefs.php
@@ -43,8 +43,9 @@
 
                        foreach ( $ids as $id ) {
                                $user = User::newFromId( $id );
-                               if ( !$user->isLoggedIn() )
+                               if ( !$user->isLoggedIn() ) {
                                        continue;
+                               }
                                $user->setOption( $this->getOption( 'pref' ), 
$this->getOption( 'value' ) );
                                $user->saveSettings();
                        }

-- 
To view, visit https://gerrit.wikimedia.org/r/248515
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I443383e4600ff9157dabaf2ea3c51984432ed7f8
Gerrit-PatchSet: 2
Gerrit-Project: mediawiki/extensions/CollapsibleVector
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to