Use the same phpcompatibility.json default file as the doc.