json_file_encode()/json_file_decode(): provide a higher‑level, file‑oriented shortcut

json_file_encode()/json_file_decode(): provide a higher‑level, file‑oriented shortcut #46346