Index: devtools.html |
=================================================================== |
--- a/devtools.html |
+++ b/devtools.html |
@@ -13,9 +13,10 @@ |
- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
- GNU General Public License for more details. |
- |
- You should have received a copy of the GNU General Public License |
- along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. |
--> |
<meta charset="utf-8"> |
+<script src="polyfill.js"></script> |
<script src="devtools.js"></script> |