Wikisource

« MediaWiki:Gadget-ReplaceTextLayer.js » : différence entre les versions

Navigation interactive dans l’historique
← Modification précédenteModification suivante →
Contenu supprimé Contenu ajouté
migration vers le wiki editor
Aucun résumé des modifications
Ligne 56 :
 
if ($.inArray(mw.config.get('wgAction'), ['edit', 'submit']) !== -1 && mw.config.get('wgCanonicalNamespace') == 'Page') {
mw.loader.using(['ext.wikiEditor', 'ext.proofreadpage.page.edit'], function() {
$(function() {
$('#wpTextbox1').wikiEditor('addToToolbar', {
section: 'advancedmain',
group: 'formatinsert',
tools: {
'textLayer': {
Récupérée de « https://fr.wikisource.org/wiki/MediaWiki:Gadget-ReplaceTextLayer.js »