[MediaWiki-commits] [Gerrit] jquery.spinner: Wrestling with JSDuck - change (mediawiki/core)

2013-12-03 Thread Code Review
Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/98809 Change subject: jquery.spinner: Wrestling with JSDuck .. jquery.spinner: Wrestling with JSDuck See comments on Ib06344c1.

[MediaWiki-commits] [Gerrit] jquery.spinner: Wrestling with JSDuck - change (mediawiki/core)

2013-12-03 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: jquery.spinner: Wrestling with JSDuck .. jquery.spinner: Wrestling with JSDuck See comments on Ib06344c1. Hopefully this will work. Change-Id: