User:John Carter/edittools.js

if (typeof (EditTools_set_focus) == 'undefined') var EditTools_set_focus = true; if (typeof (EditTools_set_focus_initially) == 'undefined') var EditTools_set_focus_initially = EditTools_set_focus; var EditTools = { charinsert : { 'Insert': ' – — … ‘ “ ’ ” ° ″ ′ ≈ ≠ ≤ ≥ ± − × ÷ √ ← → · § Sign_your_posts_on_talk_pages: \  Cite_your_sources: ', 'Wiki markup': '{\{+}} {\{\{+}}}  |  [+]  [\[+]]  [\[Category:+]]  #REDIRECT.[\[+]]     +  +  +     +  "+"   {\{Reflist}}