New shell script to modify user preferences

Thomas Bruederli

2012-11-19 fa981985ee372e69b1b14a6b6bdde97697086cde

1
tinyMCE.addI18n('en.advhr_dlg',{size:"Height",noshade:"No Shadow",width:"Width",normal:"Normal",widthunits:"Units"});