Devtools: [WIP] Implement enhanced devtools extension language APIs

Source/devtools/front_end/Runtime.js

Index: Source/devtools/front_end/Runtime.js
diff --git a/Source/devtools/front_end/Runtime.js b/Source/devtools/front_end/Runtime.js
index ac6f1a4a521580428dd04c20057240ec8fdfa425..3f1f05d96ad799b82275690d0ab05bf5ad209a4d 100644
--- a/Source/devtools/front_end/Runtime.js
+++ b/Source/devtools/front_end/Runtime.js
@@ -392,6 +392,14 @@ Runtime.prototype = {
     },
 
     /**
+     * @param {string} moduleName
+     * @return {boolean}
+     */
+    moduleIsLoaded: function(moduleName) {
+        return this._modulesMap[moduleName] ? this._modulesMap[moduleName]._loaded : false;
+    },
+
+    /**
      * @param {!Array.<string>} moduleNames
      * @return {!Promise.<!Array.<*>>}
      */