better solution for HTML washing encoding issue

svncommit

2009-07-30 5f8d31f9bee0b85495f0b601b9123790edddd6dd

1
2
3
4
5
6
7
8
9
<?php
 
$labels = array();
$labels['userinfo'] = 'Informacje';
$labels['created'] = 'Utworzony';
$labels['lastlogin'] = 'Ostatnie logowanie';
$labels['defaultidentity'] = 'Domyślna tożsamość';
 
?>