<?php //f04b8bc871ce8e09578784cc319eb603

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