Brian Wolff has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/393538 )

Change subject: Mention phan version requirements
......................................................................


Mention phan version requirements

Change-Id: Id582792be158cc04112b03939019462413c250fd
---
M README
1 file changed, 2 insertions(+), 0 deletions(-)



diff --git a/README b/README
index 7ba4cd2..42bf034 100644
--- a/README
+++ b/README
@@ -7,3 +7,5 @@
 or MediaWikiSecurityCheckPlugin.php to the plugins list in
 your phan config, depending on if you are checking a non-mediawiki
 project or a MediaWiki/MediaWiki extension respectively.
+
+This is only tested with Phan 0.8.0

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Id582792be158cc04112b03939019462413c250fd
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/tools/phan/SecurityCheckPlugin
Gerrit-Branch: master
Gerrit-Owner: Brian Wolff <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>

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

Reply via email to