[horde] date_format regarding...enhancement request.

[Anant Athavale]

We in India normally use DD/MM/YYYY format everywhere.  There was no  
such date_format in preferences.  I have added the following line in  
prefs.php of horde config for the same.  If it is generally accepted,  
it can be included in CVS and further in stable releases.

'%d/%m/%Y' => strftime('%d/%m/%Y'),

and I have set

$_prefs['date_format'] = array(
     'value' => '%d/%m/%Y',
     'locked' => true,


Regards,

Anant.