On Aug 11, 2012, at 11:05 PM, Jeroen De Dauw wrote:
Hey,
I'm tried fixing some issue where a "leaving page" warning is shown when
it
should not, but have not been able to find how to get rid of it (as I'm not
familiar with the relevant code at all).
https://bugzilla.wikimedia.org/show_bug.cgi?id=39158
Would be awesome if someone that is familiar with this stuff can have a
look at it :)
Cheers
This is part of the Vector extension.
Use option "useeditwarning".
-- Krinkle
[1]
https://www.mediawiki.org/wiki/Extension:Vector