<?php //App%255CDto%255CRequest%255CMarketSpecificExtensionsInterface%2523getMarketSpecificExtensions

return [PHP_INT_MAX, []];