(function()
 {
   var e = document.getElementById('historyUndoMenu');
   var s = document.getElementById('devToolsSeparator');

   e.parentNode.removeChild(e);
   s.parentNode.insertBefore(document.createElement('menuseparator'), s);
   s.parentNode.insertBefore(e, s);
 })();