Merge "WebInstaller: Add ARIA `role="main"` to overall div"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Tue, 18 Jun 2019 16:00:41 +0000 (16:00 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Tue, 18 Jun 2019 16:00:41 +0000 (16:00 +0000)
commit8b22883a66bcc7d54be7acb9898defa545751f86
tree5c0685050220242653130b1757c2da1e80714712
parentc1cf26c04d4f4e2d179db3c0c361042ad14353c2
parent4149b597df90a59c3cc472a43f9859f2a57f677f
Merge "WebInstaller: Add ARIA `role="main"` to overall div"
includes/installer/WebInstallerOutput.php