WMDE-Fisch has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/371078 )

Change subject: Minor fix for phan 0.8.5
......................................................................

Minor fix for phan 0.8.5

Bug: T172935
Change-Id: I2450e3a9f78a10f88854175e68122a8fb7fde395
---
M includes/LoginNotify.php
1 file changed, 2 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/LoginNotify 
refs/changes/78/371078/1

diff --git a/includes/LoginNotify.php b/includes/LoginNotify.php
index 4060072..8e24b38 100644
--- a/includes/LoginNotify.php
+++ b/includes/LoginNotify.php
@@ -59,8 +59,8 @@
        /**
         * Constructor
         *
-        * @param Config $cfg Optional. Set if you have handy.
-        * @param BagOStuff $cache Optional. Only set if you want to override 
default caching behaviour.
+        * @param Config|null $cfg Optional. Set if you have handy.
+        * @param BagOStuff|null $cache Optional. Only set if you want to 
override default caching behaviour.
         */
        public function __construct( Config $cfg = null, BagOStuff $cache = 
null ) {
                if ( !$cache ) {

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I2450e3a9f78a10f88854175e68122a8fb7fde395
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/LoginNotify
Gerrit-Branch: master
Gerrit-Owner: WMDE-Fisch <christoph.jau...@wikimedia.de>

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to