MaxSem has submitted this change and it was merged. Change subject: Bump MobileFrontend and WikiGrok ......................................................................
Bump MobileFrontend and WikiGrok * MF: grab https://gerrit.wikimedia.org/r/#/c/173316/ * WG: update to master to get new table Change-Id: I10e1a8d774f63290c4dededc26b89ef6283f440a --- 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 bd644db..9cfc018 160000 --- a/extensions/MobileFrontend +++ b/extensions/MobileFrontend -Subproject commit bd644db0984c6ad1f8a1f8f45dbc18023bd958d9 +Subproject commit 9cfc0182c0ef11dd6a85b29d9fa36593045d15fc diff --git a/extensions/WikiGrok b/extensions/WikiGrok index 8491f6b..eb29de6 160000 --- a/extensions/WikiGrok +++ b/extensions/WikiGrok -Subproject commit 8491f6b74121d8db453eb48cd62982214527c5b9 +Subproject commit eb29de65ae590e2dc1bc661ade34680c1ef92faf -- To view, visit https://gerrit.wikimedia.org/r/174170 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I10e1a8d774f63290c4dededc26b89ef6283f440a Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.25wmf8 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
