Thread:Project:Current issues/Missing buttons on Search page/reply (3)

A quick look through the list of open and closed bugs doesn't seem to show anything relevant. I don't know, but I suspect this feature may not be provided by the extension itself, especially given the existence of things like Manual:$wgNamespacesToBeSearchedDefault.