The BlueSpice extension to MediaWiki introduces permissions control with the introduction of the
Namespace manager administration tool. Each namespace can be set to be "Search by default" or not. However, regardless of this setting, the user can always search everything.
Presently, this allows a user to see page names for pages that they do not have read permission but which match their search keywords. Is there another control in the
Permissions manager admin tool so that namespaces can only be searched if the user is in a group with permission to see (read) a namespace?