Compact spaces with a PP-diagonal

We prove that compact Hausdorff spaces with a PP-diagonal are metrizable. This answers problem 4.1 (and the equivalent problem 4.12) from Cascales et al. (2011).