DevTools: move DOMExtension.js into ui module.

third_party/WebKit/Source/devtools/front_end/platform/utilities.js

 /*
  * Copyright (C) 2007 Apple Inc.  All rights reserved.
  * Copyright (C) 2012 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
  * are met:
  *
  * 1.  Redistributions of source code must retain the above copyright
  *     notice, this list of conditions and the following disclaimer.
@@ skipping 1422 matching lines @@
   while (leftIndex < leftKeys.length) {
     var leftKey = leftKeys[leftIndex++];
     removed.push(this.get(leftKey));
   }
   while (rightIndex < rightKeys.length) {
     var rightKey = rightKeys[rightIndex++];
     added.push(other.get(rightKey));
   }
   return {added: added, removed: removed, equal: equal};
 };
+
+/**
+ * TODO: move into its own module
+ * @param {function()} callback
+ * @suppressGlobalPropertiesCheck
+ */
+function runOnWindowLoad(callback) {
+  /**
+   * @suppressGlobalPropertiesCheck
+   */
+  function windowLoaded() {
+    self.removeEventListener('DOMContentLoaded', windowLoaded, false);
+    callback();
+  }
+
+  if (document.readyState === 'complete' || document.readyState === 'interactive')
+    callback();
+  else
+    self.addEventListener('DOMContentLoaded', windowLoaded, false);
+}