LouisB3

How to disable view source tab for anonymous users in mediawiki 1.20

How to disable view source tab for anonymous users in mediawiki 1.20? The 'view source" tab should be visible but it should be disabled from anonymous users. How to do that?? please reply ASAP