<?php //%255BKunstmaan%255CTranslatorBundle%255CEntity%255CTranslation%2523getDomain%255D%255B1%255D

return [PHP_INT_MAX, []];