Overriding PHP extension with own version note.