Make Wikipedia URL to be shorten by using Page ID.
This extension convert Wikipedia long URL to short URL by using its content ID.
- (2022-04-21) Denis Abakumov: Doesn't seem to work. The pop-up only shows my last generated short URLs (that I generated before using this extension) and doesn't generate a URL for the currently open Wikipedia page. Sad.