<?php //KevinPapst%255CAdminLTEBundle%255CController%255CNavbarController%2523userAction

return [PHP_INT_MAX, []];