/* add links to edit box */
$(function () {
const edit_box = document.querySelector('.editButtons')
// check that there is an edit box
if (!edit_box || mw.config.get('wgCanonicalNamespace') !== '') return
const page_name = mw.config.get('wgPageName')
const wob_url = make_edit_button('https://wob.coppermind.net/basic_search/?query='+ page_name, 'Arcanum?', 'Search Arcanum for "'+ page_name +'"')
edit_box.appendChild(wob_url)
const booksearch_url = make_edit_button('http://search.coppermind.net/?search='+ page_name, 'book search', 'Search books for "'+ page_name +'"')
edit_box.appendChild(booksearch_url)
});
/* Add edit link to templates */
$(function () {
|