jenkins-bot has submitted this change and it was merged. Change subject: Update WikiEditor for Ica0bb9f5 ......................................................................
Update WikiEditor for Ica0bb9f5 6e80252 Remove extraneous comma Change-Id: I150097f1bf1c64a597ff9cb2717effaf1e876f9c --- M extensions/WikiEditor 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Chad: Looks good to me, approved jenkins-bot: Verified diff --git a/extensions/WikiEditor b/extensions/WikiEditor index ba7b148..6e80252 160000 --- a/extensions/WikiEditor +++ b/extensions/WikiEditor -Subproject commit ba7b148b228c5dd0926e1052d7a3899443ce8e01 +Subproject commit 6e8025252e578c0a4e730bd2f6a7a6de2e4e62e9 -- To view, visit https://gerrit.wikimedia.org/r/205808 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I150097f1bf1c64a597ff9cb2717effaf1e876f9c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.26wmf1 Gerrit-Owner: Jforrester <[email protected]> Gerrit-Reviewer: Chad <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
