| Index: lib/options.js | 
| =================================================================== | 
| --- a/lib/options.js | 
| +++ b/lib/options.js | 
| @@ -14,20 +14,20 @@ | 
| * You should have received a copy of the GNU General Public License | 
| * along with Adblock Plus. If not, see <http://www.gnu.org/licenses/>. | 
| */ | 
| /** @module options */ | 
| "use strict"; | 
| -const {getDecodedHostname} = require("url"); | 
| -const {checkWhitelisted} = require("whitelisting"); | 
| -const {port} = require("messaging"); | 
| -const info = require("info"); | 
| +const {getDecodedHostname} = require("./url"); | 
| +const {checkWhitelisted} = require("./whitelisting"); | 
| +const {port} = require("./messaging"); | 
| +const info = require("../buildtools/info"); | 
| const optionsUrl = "options.html"; | 
| function findOptionsTab(callback) | 
| { | 
| browser.tabs.query({}, tabs => | 
| { | 
| // We find a tab ourselves because Edge has a bug when quering tabs with |