On Fri, Oct 4, 2013 at 9:38 AM, Brion Vibber bvibber@wikimedia.org wrote:
Text refers to "edit source" links, but if VE is not enabled on your account or you're not logged in the tabs & links say just "edit".
-- brion
Thanks for the catch Brion. Strangely the button was referring to {{int:vector-view-edit}} which should have updated automatically to whatever was on enwiki? Anyway, I fixed this locally in the on-wiki MediaWiki message, for now.