language button, refs #3681
Merge branch 'portal' of https://github.com/ESDet/esd into portal