<?php //Contao%255CCoreBundle%255CController%255CRedirectController

return [PHP_INT_MAX, []];