Issue 5587, 5748 - Use mobile options page on Firefox for Android

desktop-options.js

 /*
  * This file is part of Adblock Plus <https://adblockplus.org/>,
  * Copyright (C) 2006-present eyeo GmbH
  *
  * Adblock Plus is free software: you can redistribute it and/or modify
  * it under the terms of the GNU General Public License version 3 as
  * published by the Free Software Foundation.
  *
  * Adblock Plus is distributed in the hope that it will be useful,
  * but WITHOUT ANY WARRANTY; without even the implied warranty of
@@ skipping 727 matching lines @@
       onFilterMessage(message.action, message.args[0]);
       break;
     case "prefs.respond":
       onPrefMessage(message.action, message.args[0]);
       break;
     case "subscriptions.respond":
       onSubscriptionMessage(message.action, message.args[0]);
       break;
   }
 });
+
+$(() =>

[Sebastian Noack, 2017/10/02 01:47:07]

So I guess this code isn't necessary anymore?

[Manish Jethani, 2017/10/02 08:03:12]

Sorry about that, done.

+{
+  ext.onMessage.addListener((message, sender, sendResponse) =>
+  {
+    if (message.type == "ping")
+      sendResponse(true);
+  });
+
+  ext.backgroundPage.sendMessage({type: "ping"});
+});