New shell script to modify user preferences

Thomas Bruederli

2012-11-19 fa981985ee372e69b1b14a6b6bdde97697086cde

1
tinyMCE.addI18n('fr.advhr_dlg',{size:"Hauteur",noshade:"Pas d\'ombre",width:"Largeur",normal:"Normal",widthunits:"Unit\u00e9s"});