MediaWiki:Extraeditbuttons.js
Hulp bij het instellen van uw voorkeurenLet op! Nadat u de veranderingen heeft opgeslagen, moet u de cache van uw browser nog legen om ze daadwerkelijk te zien. In onderstaande tabel staat aangegeven hoe u dit doet.
Mozilla | reload (of ctrl-r) |
IE | ctrl-f5 |
Opera | f5 |
Safari | cmd-r |
Konqueror | ctrl-r |
// This is based on the original code at en:User:MarkS/extraeditbuttons.jsbased which
// was based on the original code on Wikipedia:Tools/Editing tools
//
// The original code was on the project page and needed to be cut and paste to the user's
// monobook.js page. However, this caused problems with the quote marks. So I have moved
// it to its own page.
//
// I do not know a lot about Javascript so please do not ask for a complicated change
//
// See the [[User:MarkS/Extra edit buttons]] for changes log
function InsertButtonsToToolBar()
{
}
// $( InsertButtonsToToolBar );