Disable history API on YouTube in order to block ads in subsequent videos

safari/include.youtube.js

 /*
  * This file is part of Adblock Plus <http://adblockplus.org/>,
  * Copyright (C) 2006-2013 Eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 43 matching lines @@
         if (value != newValue)
         {
           param.setAttribute("value", newValue);
           flashvarsChanged = true;
         }
       }
     }
 
     if (flashvarsChanged)
       player.parentNode.replaceChild(newPlayer, player);
+
+    // if history.pushState is available, YouTube uses the history API
+    // when navigation from one video to another, and tells the flash
+    // player with JavaScript which video and which ads to show next,
+    // bypassing our flashvars rewrite code. So we disable
+    // history.pushState on pages with YouTube's flash player.
+    document.location.href = "javascript:void(history.pushState = undefined);";
   }
 
   var deferred = [];
   function patchPlayerDeferred(player)
   {
     deferred.push(player);
   }
 
   var onBeforeLoadYoutubeVideo = patchPlayerDeferred;
   function onBeforeLoad(event)
   {
     if ((event.target.localName == "object" || event.target.localName == "embed") && /:\/\/[^\/]*\.ytimg\.com\//.test(event.url))
       onBeforeLoadYoutubeVideo(event.target);
   }
 
   ext.backgroundPage.sendMessage({type: "get-domain-enabled-state"}, function(response)
   {
     if (response.enabled)
     {
       deferred.forEach(patchPlayer);
       onBeforeLoadYoutubeVideo = patchPlayer;
     }
     else
       document.removeEventListener("beforeload", onBeforeLoad);
   });
 
   document.addEventListener("beforeload", onBeforeLoad, true);
-
-  // if history.pushState is available, YouTube uses the history API
-  // when navigation from one video to another, and tells the flash player
-  // with JavaScript which video and which ads to show next, bypassing
-  // our flashvars rewrite code. So we disable history.pushState on YouTube.
-  var script = document.createElement("script");
-  script.type = "application/javascript";
-  script.textContent = "history.pushState = undefined;";
-  document.documentElement.appendChild(script);
 })();