Liga 1 2022/2023 Akan Berakhir, Persija Jakarta Gagal Juara, Tapi Ini Rekor yang Diukir Thomas Doll