Index: devtools-panel.html
===================================================================
--- a/devtools-panel.html
+++ b/devtools-panel.html
@@ -15,16 +15,17 @@
   - You should have received a copy of the GNU General Public License
   - along with Adblock Plus.  If not, see <http://www.gnu.org/licenses/>.
   -->
 
 <html>
   <head>
     <meta charset="utf-8">
     <link type="text/css" rel="stylesheet" href="skin/devtools-panel.css">
+    <script src="polyfill.js"></script>
     <script src="ext/common.js"></script>
     <script src="ext/content.js"></script>
     <script src="ext/devtools.js"></script>
     <script src="devtools-panel.js"></script>
   </head>
   <body>
     <header>
       <table>
