<!-- Generally you can only detect JS with the filename -->
    <!-- However... A few common JS libraries accidentally trigger -->
    <!--  the HTML priority=20 magic incorrectly. So, for those only, -->
    <!--  we list "magic" for those specific files -->
    <magic priority="50">
      <!-- jQuery -->
      <match value="/* jQuery " type="string" offset="0"/>

labels.menu_user	=	Utilisateur
labels.menu_role	=	Rôle
labels.menu_group	=	Groupe
labels.menu_suggest	=	Suggérer
labels.menu_suggest_word	=	Suggérer un mot
labels.menu_elevate_word	=	Mot supplémentaire
labels.menu_bad_word	=	Mot incorrect
labels.menu_system_log	=	Information système
labels.menu_system_info	=	Informations de configuration
labels.menu_crawling_info	=	Informations sur l'exploration
labels.menu_log	=	Fichiers journaux

    public static final String ERRORS_could_not_find_backup_index = "{errors.could_not_find_backup_index}";

    /** The key of the message: The current password is incorrect. */
    public static final String ERRORS_no_user_for_changing_password = "{errors.no_user_for_changing_password}";

    /** The key of the message: Failed to change your password. */