<?php //8778dd5557106894085c83645ef01e7b

return [PHP_INT_MAX, 'js/liste-editor.js'];