<?php //cdc3a3ee5b9c9cc2be3cb7ab147bbdac

return [PHP_INT_MAX, 'controllers/activate_menu_controller.js'];
