User:Mabdul/saveandedit.js

/**

* This script has not worked correctly for some years, due to:

*

* > Uncaught TypeError: document.editform.wpMinoredit is undefined

*/