Merge "OutputPage: Support HTML5 elements in older browsers using html5shiv"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 9 Aug 2017 21:19:00 +0000 (21:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 9 Aug 2017 21:19:01 +0000 (21:19 +0000)
commit87d585d97d0e6255a1160d38f506109699b2042f
treeb613354bc44cb330ebad04601e71aee44ce9307a
parentc61c1ac00079c654a0e1a68bf5c25c1f5bef031a
parent3a30e03645f895ba6be0c7b4b5b078d333b72972
Merge "OutputPage: Support HTML5 elements in older browsers using html5shiv"