<?php //15892d9a6cb37869964ba017486c785f

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