MediaWiki:Gadget-topeditbuttons.js

mw.loader.using(['site']).done(function {	if (!(mw.config.get("wgAction") == "edit" || mw.config.get("wgAction") == "submit")) return;	$(" ").attr("id","weTopButtons").append(" ").append($("#wpSaveWidget").clone).append($("#wpPreviewWidget").clone).append($("#wpDiffWidget").clone).append(" ").prependTo("#editform"); });