<?php //App%255CController%255CHolidayController%2523patch

return [PHP_INT_MAX, []];