registration: Let extensions add PHP version requirements