DevTools: Run workspace mapping tip infobar animation only once

Source/devtools/front_end/ui/UIUtils.js

 /*
  * Copyright (C) 2011 Google Inc.  All rights reserved.
  * Copyright (C) 2006, 2007, 2008 Apple Inc.  All rights reserved.
  * Copyright (C) 2007 Matt Lilek (pewtermoose@gmail.com).
  * Copyright (C) 2009 Joseph Pecoraro
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
@@ skipping 712 matching lines @@
 
 /**
  * @param {!Element} element
  * @param {string} className
  */
 WebInspector.runCSSAnimationOnce = function(element, className)
 {
     function animationEndCallback()
     {
         element.classList.remove(className);
-        element.removeEventListener("animationend", animationEndCallback, false);
+        element.removeEventListener("webkitAnimationEnd", animationEndCallback, false);
     }
 
     if (element.classList.contains(className))
         element.classList.remove(className);
 
-    element.addEventListener("animationend", animationEndCallback, false);
+    element.addEventListener("webkitAnimationEnd", animationEndCallback, false);
     element.classList.add(className);
 }
 
 /**
  * @param {!Element} element
  * @param {!Array.<!WebInspector.SourceRange>} resultRanges
  * @param {string} styleClass
  * @param {!Array.<!Object>=} changes
  * @return {!Array.<!Element>}
  */
@@ skipping 328 matching lines @@
     window.addEventListener("focus", WebInspector._windowFocused, false);
     window.addEventListener("blur", WebInspector._windowBlurred, false);
     document.addEventListener("focus", WebInspector._focusChanged, true);
     document.addEventListener("blur", WebInspector._documentBlurred, true);
     window.removeEventListener("DOMContentLoaded", windowLoaded, false);
 }
 
 window.addEventListener("DOMContentLoaded", windowLoaded, false);
 
 })();