Merge "JSDuck-ify /resources/mediawiki/mediawiki.Uri.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 16 Jan 2014 16:55:43 +0000 (16:55 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 16 Jan 2014 16:55:43 +0000 (16:55 +0000)
commit5840c01b4b9c512fcbecf3682db745bc084f3d5f
treec724552c93a7710fbe0ec99fe97fc199273e31d5
parentfb8e0e38fce3470836e03e0d129887d03dfafa25
parent057d54733e78d96d5c10c15e5521226863afd991
Merge "JSDuck-ify /resources/mediawiki/mediawiki.Uri.js"