Force page reload if list columns changed in IE8 (#1487822)

thomascube

2012-04-11 c97c5756710f651873e4e7c600d46fba917d43c7

1
2
3
4
5
6
7
8
9
<?php
 
$labels = array();
$labels['userinfo'] = 'Info utilisateur';
$labels['created'] = 'Date de création';
$labels['lastlogin'] = 'Dernière connexion';
$labels['defaultidentity'] = 'Identité principale';
 
?>