In skins/common/wikibits.js, function scrollEditBox is setting the form's
onsubmit handler directly, overwriting any other onsubmit handlers. Therefore
it's not possible for an extension to add an onsubmit handler to EditPage.php.
I suggest scrollEditBox should use wikibits.js:hookEvent() instead of setting
form.onsubmit directly.
The code:
editFormEl.onsubmit = function() {
...
Version: 1.9.x
Severity: normal
OS: Windows Server 2003
Platform: PC