Skip IDN conversion when saving/reading identies. This should provide prope...

Thomas Bruederli

2012-08-13 6622c7e0cf09e7daaa20dbc7f1449f1f559e5a4d

1
2
3
4
5
6
7
8
<?php
 
$labels = array();
$labels['help'] = 'Aide';
$labels['about'] = 'A propos';
$labels['license'] = 'Licence';
 
?>