jenkins-bot has submitted this change and it was merged. Change subject: Remove mobile.special.mobilediff.scripts from extension.json ......................................................................
Remove mobile.special.mobilediff.scripts from extension.json The module itself was removed in I40ac27e56fcc3ccc58870660d0ed7353c7a17748 and it should also come out of extension.json. Bug: T131757 Change-Id: Id1130c0b590c09e4826625e268c709812a9648cc Depends-On: I399ef6a0abaeaf3ca10461f4579a0a3fcdab9df3 --- M extension.json 1 file changed, 0 insertions(+), 8 deletions(-) Approvals: Bmansurov: Looks good to me, approved jenkins-bot: Verified diff --git a/extension.json b/extension.json index 4fb0960..1ef7ee0 100644 --- a/extension.json +++ b/extension.json @@ -1550,14 +1550,6 @@ ], "position": "top" }, - "mobile.special.mobilediff.scripts": { - "targets": [ - "mobile", - "desktop" - ], - "scripts": [ - ] - }, "skins.minerva.special.styles": { "targets": "mobile", "position": "top", -- To view, visit https://gerrit.wikimedia.org/r/295043 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Id1130c0b590c09e4826625e268c709812a9648cc Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Mholloway <mhollo...@wikimedia.org> Gerrit-Reviewer: Bmansurov <bmansu...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits