Reedy has submitted this change and it was merged. Change subject: Update WikiEditor to master ......................................................................
Update WikiEditor to master Change-Id: I75f0d911a1a6439430b12224d8eb6210093d8f8e --- M extensions/WikiEditor 1 file changed, 0 insertions(+), 0 deletions(-) Approvals: Reedy: Verified; Looks good to me, approved diff --git a/extensions/WikiEditor b/extensions/WikiEditor index abe0405..7506688 160000 --- a/extensions/WikiEditor +++ b/extensions/WikiEditor -Subproject commit abe0405389c5f47e3a9b7b132527e6850a6e1e5d +Subproject commit 7506688ca2c732f988a01380346048faaaad340d -- To view, visit https://gerrit.wikimedia.org/r/80576 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I75f0d911a1a6439430b12224d8eb6210093d8f8e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: wmf/1.22wmf14 Gerrit-Owner: Reedy <[email protected]> Gerrit-Reviewer: Reedy <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
