Fixes an issue with Play's compressing of codemirrors javascript