Opmerking: nadat u de wijzigingen hebt gepubliceerd is het wellicht nodig uw browsercache te legen.

  • Firefox / Safari: houd Shift ingedrukt terwijl u op Vernieuwen klikt of druk op Ctrl-F5 of Ctrl-R (⌘-Shift-R op een Mac)
  • Google Chrome: druk op Ctrl-Shift-R (⌘-Shift-R op een Mac)
  • Internet Explorer / Edge: houd Ctrl ingedrukt terwijl u op Vernieuwen klikt of druk op Ctrl-F5
  • Opera: druk op Ctrl-F5.
/* SaveButton on top of textareaeditformthingalike */
 
function EatPizzaWithMustard() {
  var wgAction = mw.config.get('wgAction');
  if( wgAction == "edit" || wgAction == "submit" ) {
    // We are editing a page, so most likely we meet the editform
    o1 = document.getElementById('editform')
    div = document.createElement('div')
    //o2 = document.getElementById('wpSave').outerHTML
    o2 = '<input id="wpSave" name="wpSave" type="submit" tabindex="5" value="Pagina opslaan" accesskey="s" title="Save your changes [s]" />'
    div.innerHTML = o2
    //o3 = document.getElementById('wpTextbox1')
    o3 = document.getElementsByClassName('wikiEditor-ui')[0]
    o1.insertBefore(div, o3)
  }
}
 
$(EatPizzaWithMustard);