<?php //b73f6df8001e0ef8042c394e365b04eb

return [PHP_INT_MAX, 'controllers/burger-menu_controller.js'];