Merge "JSDuck-ify /resources/mediawiki.language/*"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 16 Jan 2014 16:33:09 +0000 (16:33 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 16 Jan 2014 16:33:09 +0000 (16:33 +0000)
commit7a32238300e12e9a69b135c38736494eef25af72
tree6040319b8f6a88aa24c7b15cec62c5c4cc9a7d3a
parentf7ad294e9fdd05c9c766ddd5451bd3d86cdcfc07
parent1af99f624d53b2a6bf5215da3e478372e02e8460
Merge "JSDuck-ify /resources/mediawiki.language/*"
maintenance/jsduck/categories.json
maintenance/jsduck/config.json