jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/396533 )
Change subject: Add mediawiki/tools/phan/SecurityCheckPlugin
......................................................................
Add mediawiki/tools/phan/SecurityCheckPlugin
Change-Id: Ia671bc0ad1c5e38f4c021abed1fd8c801dcb0bd0
---
M upgrade.py
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Legoktm: Looks good to me, approved
jenkins-bot: Verified
diff --git a/upgrade.py b/upgrade.py
index 703ff7c..f69ad06 100755
--- a/upgrade.py
+++ b/upgrade.py
@@ -54,6 +54,7 @@
'css-sanitizer',
'integration/docroot',
'labs/tools/stewardbots',
+ 'mediawiki/tools/phan/SecurityCheckPlugin',
'oojs',
'oojs/ui',
'php-session-serializer',
--
To view, visit https://gerrit.wikimedia.org/r/396533
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia671bc0ad1c5e38f4c021abed1fd8c801dcb0bd0
Gerrit-PatchSet: 2
Gerrit-Project: labs/libraryupgrader
Gerrit-Branch: master
Gerrit-Owner: MarcoAurelio <maure...@tools.wmflabs.org>
Gerrit-Reviewer: Legoktm <lego...@member.fsf.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
