xdiff extension for HipHop