Thread:Project:Support desk/How can I hide tabs for users not logged in?/reply (44)

This doesn't work on Mediawiki 1.23. Namely, it hides all toolboxes but doesn't hide "Edit", "edit source" and "History" tabs. And it does hide "Tools" toolbox which I don't want to hide. Any solutions?