<?php //ApiPlatform%255COpenApi%255COpenApi%2523getExtensionProperties

return [PHP_INT_MAX, []];