<?php
   $pluginloader_tx['menu']['available_plugins'] = 'Plugins disponibles: ';
   $pluginloader_tx['menu']['select_plugin'] = 'Choisir un plugin ...';
   $pluginloader_tx['menu']['tab_main'] = 'Réglages plugin';
   $pluginloader_tx['menu']['tab_css'] = 'Feuille de style plugin';
   $pluginloader_tx['menu']['tab_config'] = 'Configuration plugin';
   $pluginloader_tx['menu']['tab_language'] = 'Langue plugin';
   $pluginloader_tx['menu']['tab_help'] = 'Aide plugin';
   $pluginloader_tx['success']['saved'] = 'Fichier sauvegardé: ';
   $pluginloader_tx['error']['plugin_error'] = 'Erreur plugin: ';
   $pluginloader_tx['error']['cntopen'] = $tx['error']['cntopen'].' ';
   $pluginloader_tx['error']['cntwriteto'] = $tx['error']['cntwriteto'].' ';
?>