jenkins-bot has submitted this change and it was merged. Change subject: Updated JsonConfig, ZeroBanner, ZeroPortal to latest ......................................................................
Updated JsonConfig, ZeroBanner, ZeroPortal to latest Change-Id: I0756374864d4565db84b0e324e49e903bf32c76f --- M extensions/JsonConfig M extensions/ZeroBanner M extensions/ZeroPortal 3 files changed, 0 insertions(+), 0 deletions(-) Approvals: Yurik: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/JsonConfig b/extensions/JsonConfig index ff018b2..299e977 160000 --- a/extensions/JsonConfig +++ b/extensions/JsonConfig -Subproject commit ff018b2ebd28b5d29f9621fea07406d8227ec679 +Subproject commit 299e9774fdb99ff8aeeea00f337b301af1fb92ea diff --git a/extensions/ZeroBanner b/extensions/ZeroBanner index af7037a..2930c1f 160000 --- a/extensions/ZeroBanner +++ b/extensions/ZeroBanner -Subproject commit af7037a6c25b5d43b8c9ac0e5bc4031a9feb6f80 +Subproject commit 2930c1f8e29491b112e7506675c13d6ff131d74c diff --git a/extensions/ZeroPortal b/extensions/ZeroPortal index af48bd5..04eb335 160000 --- a/extensions/ZeroPortal +++ b/extensions/ZeroPortal -Subproject commit af48bd55af9189d2251ae5c9e67ab6036959329a +Subproject commit 04eb33565a3a3d672185d98a26c88a7ba00858e5 -- To view, visit https://gerrit.wikimedia.org/r/140404 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0756374864d4565db84b0e324e49e903bf32c76f Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.24wmf8 Gerrit-Owner: Yurik <[email protected]> Gerrit-Reviewer: Yurik <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
