Some bug fix of PHP UglifyJS by James Brumond