This is probably an XY problem, but I am focusing on my solution.
It's known that China has blocked off all of Google, including
ajax.googleapis.com where SE loads jQuery library. For some reasons, I can't use a VPN or a proxy at the time, so I decided to go with Resource Override, a popular Chrome extensions that allow users to redirect URLs on their side.
At first I used a reverse proxy provided by my school club, but the server for the reverse proxy is rather unstable, so I went for the "URL → File" option.
With this way, I need to know what exact versions of jQuery SE employs, so I can redirect the correct URLs. Currently it seems to be 1.12.4, but I have also seen other versions in the past, like 1.7.x, 2.x or 3.x
Is there a complete list of what versions of jQuery that SE is using?