| 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> | 
|  |