Henning Snater has submitted this change and it was merged. Change subject: (minor) fix for calling options in Widgets based on TemplatedWidget ......................................................................
(minor) fix for calling options in Widgets based on TemplatedWidget Change-Id: Ia27d72031cad613b08279ff8f0aa65810bf6545c --- M lib/resources/jquery.ui/jquery.ui.TemplatedWidget.js 1 file changed, 1 insertion(+), 1 deletion(-) Approvals: Henning Snater: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/44834 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ia27d72031cad613b08279ff8f0aa65810bf6545c Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/Wikibase Gerrit-Branch: master Gerrit-Owner: Daniel Werner <daniel.wer...@wikimedia.de> Gerrit-Reviewer: Henning Snater <henning.sna...@wikimedia.de> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
