Update source generated by generator-php