jenkins-bot has submitted this change and it was merged. Change subject: Updating MobileFrontend and WikiGrok ......................................................................
Updating MobileFrontend and WikiGrok Change-Id: I2c89933541ca84aafd7dba66828b49866d0c4da4 --- M extensions/MobileFrontend M extensions/WikiGrok 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: Kaldari: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/MobileFrontend b/extensions/MobileFrontend index c5690ba..9a9322b 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit c5690ba41e1eef5acaf9495b8f93f12054b58bc0 +Subproject commit 9a9322bd71ff42fb9d906ccae1287e0d62b7d2fe diff --git a/extensions/WikiGrok b/extensions/WikiGrok index 80b7a32..2e38cf3 160000 --- a/extensions/WikiGrok +++ b/extensions/WikiGrok -Subproject commit 80b7a322bf56a7cac5589e5fea86b8802a70b375 +Subproject commit 2e38cf3a0a81bcfe2392c41dde7fbf6142a05330 -- To view, visit https://gerrit.wikimedia.org/r/173191 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I2c89933541ca84aafd7dba66828b49866d0c4da4 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf8 Gerrit-Owner: Kaldari <[email protected]> Gerrit-Reviewer: Kaldari <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
