Extension talk:HidePageTabs

We prevent anonymous edits with

$wgGroupPermissions['*']['edit'] = false;

Yet non-logged-in users are still seeing the "View Source" tab.

Any fix?

WgGroupPermissions belongs to mediawiki not to this extension. With $wgGroupPermissions['*']['edit'] = false; you forbid users to edit not to "read" Have you tried with this extension to configure: $hideTabsPageList['Main Page'][views] = array('view');

Does this extension work with mw 1.35?

thx!