MaxSem has submitted this change and it was merged. Change subject: Bump MF and WikiGrok ......................................................................
Bump MF and WikiGrok Change-Id: Ia16d321b3c4b1eda1219f5f4a8de811355d89065 --- M extensions/MobileFrontend M extensions/WikiGrok 2 files changed, 0 insertions(+), 0 deletions(-) Approvals: MaxSem: Verified; Looks good to me, approved diff --git a/extensions/MobileFrontend b/extensions/MobileFrontend index 7e39884..517d66f 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit 7e3988452f87c85f49246e6fa337638999b7d626 +Subproject commit 517d66f835a18cf103a4fcbca299f2c46d42d9be diff --git a/extensions/WikiGrok b/extensions/WikiGrok index 2e38cf3..daba3c7 160000 --- a/extensions/WikiGrok +++ b/extensions/WikiGrok -Subproject commit 2e38cf3a0a81bcfe2392c41dde7fbf6142a05330 +Subproject commit daba3c72d4e25b766be319336d63f3c0afc101f3 -- To view, visit https://gerrit.wikimedia.org/r/174024 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia16d321b3c4b1eda1219f5f4a8de811355d89065 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf7 Gerrit-Owner: MaxSem <[email protected]> Gerrit-Reviewer: MaxSem <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
