New shell script to modify user preferences

Thomas Bruederli

2012-11-19 fa981985ee372e69b1b14a6b6bdde97697086cde

1
tinyMCE.addI18n('eo.advhr_dlg',{size:"Alteco",noshade:"Sen ombro",width:"Lar\u011deco",normal:"Normal",widthunits:"Units"});