40 275
ediciones
Diferencia entre revisiones de «MediaWiki:Common.js»
m
+search button
m (+docs) |
m (+search button) |
||
|
return el
}
/* 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')
// add a link to the Arcanum
const wob_url = make_edit_button('https://wob.coppermind.net/basic_search/?query='+ page_name, 'Search Arcanum', 'Search Arcanum for "'+ page_name +'"')
edit_box.appendChild(wob_url)
});
| |||