MediaWiki:Gadget-editTop.js

if (wgNamespaceNumber > -1){

var edittopHTML = ' ' + ' [ ' +   'edit intro' + ' ] ' +   ' '; $('#firstHeading').append(edittopHTML); }