Wikimedia Bugzilla is closed!

[Apologies for my bad English...]

I think there should be a JavaScript variable (like wgAction, wgTitle, WgUserName...) indicating:
* if the current page is a redirect page or not
* if we have been redirected

It may be, for example, a variable named wgRedirect and declared as follows:
* 0 = Nothing
* 1 = Redirect, but not redirect page
* 2 = Redirect page
Or something like this.

Thanks.