Hello!

We recently had help installing the AccessControl Extension (https://www.mediawiki.org/wiki/Extension:AccessControl), and it is wroking fine (meaning it is is doing what it should). Sadly that does not include handling search results and so the page is not really working very well.

Therefore, I'd like to request review and implementation of this extension, which annoyingly comes with a Patch.
https://www.mediawiki.org/wiki/Extension:RemoveProtectedContent
If possible we'd like the following setting for it:
$wgShowNonPermittedAs = htmlspecialchars('<Read-access denied due to insufficient user permissions>');

I know this is a big ask, but we really do want (almost direly need) this functionality.

Thank you in advance for any time you spend on this,
Simon