1<?php 2/** 3 * Page Buttons plugin - English language file 4 * 5 * @copyright (c) 2020 Cody Ernesti 6 * @license GPLv2 or later (https://www.gnu.org/licenses/old-licenses/gpl-2.0.html) 7 * @author Cody Ernesti 8 * 9 * Modified from: https://github.com/dregad/dokuwiki-plugin-deletepagebutton 10 * 11 * Original license info: 12 * 13 * @copyright (c) 2020 Damien Regad 14 * @license GPLv2 or later (https://www.gnu.org/licenses/old-licenses/gpl-2.0.html) 15 * @author Damien Regad 16 */ 17 18$lang['newpage_menu_item'] = 'Nouvelle page'; 19$lang['delete_menu_item'] = 'Supprimer la page'; 20$lang['newfolder_menu_item'] = 'Nouveau dossier'; 21$lang['deleted_ok'] = 'Page supprimée'; 22 23$lang['js']['delete_title'] = $lang['delete_menu_item']; 24$lang['js']['newpage_title'] = $lang['newpage_menu_item']; 25$lang['js']['newfolder_title'] = $lang['newfolder_menu_item']; 26$lang['js']['delete_confirm'] = 'Êtes-vous sûr de vouloir supprimer cette page ?'; 27$lang['js']['newpage_prompt'] = 'Quelle est le nom de page que vous souhaitez créer ?'; 28$lang['js']['newfolder_prompt'] = 'Quel est le nom du dossier que vous souhaitez créer ?'; 29$lang['js']['btn_ok'] = 'OK'; 30$lang['js']['btn_cancel'] = 'Annuler'; 31