I tried various solutions listed here Topic:Qji4lqoeaodggoft Including the code below in LocalSettings.php (which just hides, rather than removes), but it did not work (MW 1.31/Timeless Skin). Any way it could work in MW 1.31?
$wgHooks['SkinTemplateSetupPageCss'][] = 'wfHideVariousTabsFromAnonymous';
function wfHideVariousTabsFromAnonymous( &$hidetabcss ) {
global $wgUser;
if ( !$wgUser->isLoggedIn() ) {
$hidetabcss .= 'li#ca-history, li#ca-viewsource, li#ca-edit, li#ca-talk, .vectorMenu { display: none; }';
}
return true;
}