WMDE-leszek has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/402821 )
Change subject: Phan: add stubs for the part of PageImages extension that
Wikibase uses
......................................................................
Phan: add stubs for the part of PageImages extension that Wikibase uses
Change-Id: I74890aa176d1c24d26068d948df07d9125a39493
---
M tests/phan/config.php
A tests/phan/stubs/pageimages.php
2 files changed, 12 insertions(+), 4 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/Wikibase
refs/changes/21/402821/1
diff --git a/tests/phan/config.php b/tests/phan/config.php
index 8a1a8a0..489b840 100644
--- a/tests/phan/config.php
+++ b/tests/phan/config.php
@@ -64,6 +64,7 @@
!is_dir( './../../extensions/CirrusSearch' ) ? [
'tests/phan/stubs/cirrussearch.php' ] : [],
!is_dir( './../../extensions/Echo' ) ? [
'tests/phan/stubs/echo.php56' ] : [],
!is_dir( './../../extensions/GeoData' ) ? [
'tests/phan/stubs/geodata.php' ] : [],
+ !is_dir( './../../extensions/PageImages' ) ? [
'tests/phan/stubs/pageimages.php' ] : [],
!is_dir( './../../extensions/Scribunto' ) ? [
'tests/phan/stubs/scribunto.php' ] : []
),
@@ -347,8 +348,6 @@
// approximate error count: 1
"PhanTypeMissingReturn",
// approximate error count: 1
- "PhanUndeclaredClassConstant",
- // approximate error count: 1
"PhanUndeclaredClassMethod",
// approximate error count: 72
"PhanUndeclaredConstant",
@@ -358,8 +357,6 @@
"PhanUndeclaredProperty",
// approximate error count: 1
"PhanUndeclaredTypeParameter",
- // approximate error count: 1
- "PhanUndeclaredTypeProperty",
// approximate error count: 4
"PhanUndeclaredVariable",
],
diff --git a/tests/phan/stubs/pageimages.php b/tests/phan/stubs/pageimages.php
new file mode 100644
index 0000000..42757b6
--- /dev/null
+++ b/tests/phan/stubs/pageimages.php
@@ -0,0 +1,11 @@
+<?php
+
+/**
+ * Minimal set of classes necessary to fulfill needs of parts of Wikibase
relying on
+ * the PageImages extension.
+ * @codingStandardsIgnoreFile
+ */
+
+class PageImages {
+ const PROP_NAME_FREE = 'page_image_free';
+}
\ No newline at end of file
--
To view, visit https://gerrit.wikimedia.org/r/402821
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I74890aa176d1c24d26068d948df07d9125a39493
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Wikibase
Gerrit-Branch: master
Gerrit-Owner: WMDE-leszek <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits