Fix some uses of PhpSpecExtension that were copied and pasted in