MediaWiki:Script/Bookmarklets.js
Возможно, этот код документирован.
mw.loader.using( 'mediawiki.util' ).done( function () {
function bookmarklets(){
mw.util.addCSS('\
a.bookmarklet {font-weight:bold; border:1px solid gray; padding:2px}\
')
$('#js-before').hide()
$('#js-after').show()
mw.util.$content.find('pre.bookmarklet').each( function(i, pre){
pre = $(pre)
var a = $( '<a class=bookmarklet>' ) .attr( 'href', pre.text() )
var name = pre.prev().find('.name')
if( name.length )
name.replaceWith( a.text( name.text() ) ) .show()
else
pre.before( a.text( 'Боокмарклет' ) )
})
}
if( mw.config.get('wgPageName') == 'Тептар:Букмарклеты' ) $(bookmarklets)
} );