/** * This script has not worked correctly for some years, due to: * * > Uncaught TypeError: document.editform.wpMinoredit is undefined */