Merge "Remove IE8 support from mediawiki.js"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 16 Jan 2016 00:27:05 +0000 (00:27 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 16 Jan 2016 00:27:05 +0000 (00:27 +0000)
commita4e967e4f3d633c703f9b31967c0e764cc618218
tree8a6c162f3bd8056b74af2be63aae0f2dfc19fccd
parent91e6e7ad9a6825d339d5301bee0a5c36f8403b38
parent159dbdc06f214f3fed3f86808312012cf2099e4f
Merge "Remove IE8 support from mediawiki.js"