Merge "jshint: Enable 'es3' option"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 10 Apr 2014 07:40:34 +0000 (07:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 10 Apr 2014 07:40:34 +0000 (07:40 +0000)
commit0d2ed32e08fb3d92f1e7cb9804ce44351295256b
treee73366c31e1b4ac90707d0abb5410842e9e4e47e
parent712aaa6269f370bf21abb080cf5acb05711fef4c
parent28cca609f5ebcdd17a0afbaf2b48da8945e4fc8a
Merge "jshint: Enable 'es3' option"