scripts.html: don't load docsearch JS when it's not needed (#30205)
X
XhmikosR committed
f1e47e24c390ee0e507301bc2e770df5ec55628d
Parent: 48c8697
Committed by GitHub <noreply@github.com>
on 2/17/2020, 6:52:28 PM