Update proglangs.js