Init splitter in Preferences also when env.action is empty

Aleksander Machniak

2012-09-11 1424e53b96e79ad212b67d74eb5d372c14e8b1b3

1
2
3
4
5
6
7
8
9
<?php
 
$labels = array();
$labels['userinfo'] = 'User info';
$labels['created'] = 'Created';
$labels['lastlogin'] = 'Last Login';
$labels['defaultidentity'] = 'Default Identity';
 
?>