New shell script to modify user preferences

Thomas Bruederli

2012-11-19 fa981985ee372e69b1b14a6b6bdde97697086cde

1
tinyMCE.addI18n('nl.advhr_dlg',{size:"Hoogte",noshade:"Geen schaduw",width:"Breedte",normal:"Normaal",widthunits:"Eenheden"});