<?php //route_name_d4b72289ec02d35f87c88952abd95386

return [PHP_INT_MAX, 'api_devices_GET_item'];