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

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

Minor fix for phan 0.8.5

Phan seems to be confused how the parameters should be used here with
OOUI in some cases. Suppressed for the time beeing.

Bug: T172935
Change-Id: I24bd3c91cc8099b11dd99decf6b96a8fc5ad9ccc
---
M src/specials/SpecialElectronPdf.php
1 file changed, 1 insertion(+), 0 deletions(-)


  git pull 
ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/ElectronPdfService 
refs/changes/44/371044/1

diff --git a/src/specials/SpecialElectronPdf.php 
b/src/specials/SpecialElectronPdf.php
index 193240b..0b94274 100644
--- a/src/specials/SpecialElectronPdf.php
+++ b/src/specials/SpecialElectronPdf.php
@@ -63,6 +63,7 @@
        }
 
        /**
+        * @suppress PhanTypeMismatchArgument
         * @param Title $title page to download as PDF
         * @param string $collectionDownloadUrl URL to the download page of the 
Collection extension
         */

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I24bd3c91cc8099b11dd99decf6b96a8fc5ad9ccc
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/ElectronPdfService
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