MediaWiki:JSScripts/AncreTitres

// Déplacé vers MediaWiki:Gadget-AncreTitres.js pour compatibilité avec le système des gadgets, bien que celui-ci n'en soit pas un (pour l'instant ?)