var ui_phrases = {
	'MODIFY_SHORTCUTS' : 'Éditer les raccourcis',
	'CLOSE' : 'Fermer',
	'SOURCE_LANGUAGE' : 'Langue de source',
	'TARGET_LANGUAGE' : 'Langue de destination',
	'ADD' : 'Rajouter le raccourci',
	'REMOVE' : 'Supprimer',
	'REMOVE_SHORTCUT' : 'Supprimer le raccourci',
	'EMPTY' : 'Empty',
	'RESTORE_DEFAULTS' : 'Rétablir les valeurs par défaut',
	'CONFIRM_RESTORE_DEFAULTS' : 'Rétablir les valeurs par défau?',
	
	'SOURCES' : 'Sources',
	
	'FIREFOX_REQUIRED' : 'The extension requires Firefox browser',
	'EXAMPLES_INFO' : 'Le numéros de définitions ne sont pas nécessairement liées à celles de traductions'
};

var cookie_domain = 'dictionnaire-libre.fr';

var default_shortcuts = [[14,3], [3,14]];