WikiEditor

Nice try, but I wasn't able to get it to work (mostly because of my cluelessness). I eventually found and adapted another user's custom js as follows:
<pre>
// Listes de caractères
var api_liste_fr = ["ɑ","ɑ̃","ə","ɛ","œ","ø","ɛ̃","ɔ","ɔ̃","œ̃","ʃ","ɡ","ɥ","ʒ","ɲ","ŋ","ʁ","‿","ː","ˈ","ˌ"] ;
var caracteres_liste_fr = ["’","æ","Æ","€","ñ","œ","Œ","–","—","…"] ;

// Ajout de la section Caractères du Wiktionnaire > API français
hookEvent( 'load', function() {
	$j( '#wpTextbox1' ).wikiEditor( 'addToToolbar', {
		'sections': {
			'caracteres': {
				label:'Mes outils',
				type:'booklet',
				deferLoad:true,
				pages: {
					'API_fr': {
						'label':'API français',
						'layout':'characters',
						'characters': api_liste_fr
					},
					'car_fr': {
						'label':'Caractères spéciaux',
						'layout':'characters',
						'characters': caracteres_liste_fr
					}
				}
			}
		}
	} );
} );
</pre>