<html>
<head>
<title>Configuration de l'extension</title>
</head>
<body>
<h4>Activation</h4>
<p>Cocher cette case pour commencer à utiliser l'extension sur le blog courant.</p>
<p><em>Note : la désactivation ne supprime pas les choix précédents. Par exemple, les boutons activés resteront activés à la prochaine activation du plugin.</em></p>
<h4>Options</h4>
<p>Vous pouvez choisir quels boutons seront présents dans l'éditeur. Cela permet de ne mettre que ceux souhaités. Attention ce réglage est pour tous les utilisateur·rice·s du blog.</p>
<h4>Utilisation</h4>
<p>Chaque utilisateur·rice, une fois le plugin activé, doit choisir explicitement l'éditeur dans <a href="preferences.php#user-options">ses préférences</a>.</p>
</body>
</html>