Improve isMobile

Fixes #658

lib/mobile.js

@@ -16,6 +16,10 @@
 	const settingDefinitions = require("./settingDefinitions");
 	
 	scope.isMobile = async function isMobile(){
+		const platformInfo = await browser.runtime.getPlatformInfo();
+		if (platformInfo && platformInfo.os === "android"){
+			return true;
+		}
 		// todo: proper mobile check (e.g. over browser.runtime.getBrowserInfo()) and no feature check
 		return !browser.pageAction ||
 			!browser.pageAction.show ||

releaseNotes.txt

@@ -8,6 +8,7 @@ Version 1.10:
 	fixes:
 		- always protect about:blank
 		- persistent rng not working in Firefox for Android
+		- mobile default settings were not used in Firefox for Android
 	
 	known issues:
 		- if a data URL is blocked the page action button does not appear