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

return [PHP_INT_MAX, []];