<?php //4981cb6cbe5842b8eb654af5a93e62c3

return [PHP_INT_MAX, 'modules/Filter.js'];