Merge pull request #19066 from colemanw/tabCleanup
authorMatthew Wire <mjw@mjwconsult.co.uk>
Fri, 4 Dec 2020 10:11:23 +0000 (10:11 +0000)
committerGitHub <noreply@github.com>
Fri, 4 Dec 2020 10:11:23 +0000 (10:11 +0000)
Fix dev/core#2215 & remove the tab selection inline script from TabHeader.tpl


Trivial merge