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