Steps to reproduce:

1. Go to https://de.wikipedia.org/wiki/Spezial:Diff/196198177, a special link redirecting you to the diff with ID 196198177.
2. Now click on that slider somewhere else (choose ano0ther diff via single click).
3. Look at the URL!

What happens:

The URL changes for one second when I click to choose another diff – to the correct other URL/ID, but changes back. directly afterwards

It stays on: https://de.wikipedia.org/w/index.php?diff=196198177&diffmode=visual

What should happen:

A different URL should be shown.

Impact:

Exactly for that diff tool in https://de.wikipedia.org/wiki/Spezial:Diff I do need to find the IDs (I usually copy them from that URL), so this makes it impossible here.

System

Firefox 72

originally reported at
https://www.mediawiki.org/wiki/Topic:Vghos8a2wuo1wqst