<?php //f0fced3f06aafea0f6efdfd004284759

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