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 <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
