Improve performance by skipping redundant ENABLE commands

Aleksander Machniak

2012-06-26 7ab9c1775243217f3f6cb0717b1894a98303d04e

1
2
3
4
5
6
7
8
<?php
// translation done by Ulli Heist - http://heist.hobby-site.org/
$labels = array();
$labels['help'] = 'Hilfe';
$labels['about'] = '&Uuml;ber';
$labels['license'] = 'Lizenz';
 
?>