Fix older versions of PHP interface inheritance issue