fix https://github.com/gorhill/uBlock/issues/2843

7 years ago · d7b3841f93
3 changed files with 17 additions and 2 deletions
--- a/platform/chromium/options_ui.html
+++ b/platform/chromium/options_ui.html
@ -1,9 +1,10 @@
 <!DOCTYPE html>
 <head>
 <script src="js/vapi-client.js"></script>
 <script src="js/options_ui.js"></script>
 <meta charset="utf-8">
 <title></title>
 </head>
 <body>
 <script src="js/vapi-client.js"></script>
 <script src="js/options_ui.js"></script>
 </body>
 </html>
--- a/platform/webext/options_ui.html
+++ b/platform/webext/options_ui.html
@ -0,0 +1,12 @@
 <!DOCTYPE html>
 <head>
 <meta charset="utf-8">
 <title></title>
 </head>
 <body>
 <a href="dashboard.html" data-i18n="matrixDashboardMenuEntry" target="uMatrix-dashboard"></a><br>
 <a href="logger-ui.html" data-i18n="matrixLoggerMenuEntry" target="uMatrix-logger"></a>
 </body>
 <script src="js/vapi-common.js"></script>
 <script src="js/i18n.js"></script>
 </html>
--- a/tools/make-webext.sh
+++ b/tools/make-webext.sh
@ -16,6 +16,8 @@ cp    platform/chromium/*.js             $DES/js/
 cp -R platform/chromium/img/*            $DES/img/
 cp    LICENSE.txt                        $DES/
 cp    platform/webext/options_ui.html    $DES/
 rm    $DES/js/options_ui.js
 cp    platform/webext/polyfill.js        $DES/js/
 cp    platform/webext/manifest.json      $DES/