<?php //5bed0d0333dc3d7fa58fd685b27dd50a

return [PHP_INT_MAX, 'js/highlight.js'];
