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