Merge pull request #17789 from eileenmcnaughton/search
authorSeamus Lee <seamuslee001@gmail.com>
Mon, 13 Jul 2020 00:53:31 +0000 (10:53 +1000)
committerGitHub <noreply@github.com>
Mon, 13 Jul 2020 00:53:31 +0000 (10:53 +1000)
Add hidden tag to search extension


Trivial merge