Bug 1200151 - Restricted profiles: Hide developer tools based on restriction. r=ally

--HG--
extra : commitid : J22yazD1MKd
extra : rebase_source : 3ba75b27cac6c5d0625517371bc11a831b4b88af

mobile/android/base/preferences/GeckoPreferences.java

@@ -706,7 +706,7 @@ OnSharedPreferenceChangeListener
                     }
                 }
                 if (PREFS_DEVTOOLS.equals(key) &&
-                    RestrictedProfiles.isUserRestricted(this)) {
+                    !RestrictedProfiles.isAllowed(this, Restriction.DISALLOW_DEVELOPER_TOOLS)) {
                     preferences.removePreference(pref);
                     i--;
                     continue;

mobile/android/base/restrictions/GuestProfileConfiguration.java

@@ -25,7 +25,8 @@ public class GuestProfileConfiguration implements RestrictionConfiguration {
             Restriction.DISALLOW_SET_IMAGE,
             Restriction.DISALLOW_MODIFY_ACCOUNTS,
             Restriction.DISALLOW_REMOTE_DEBUGGING,
-            Restriction.DISALLOW_IMPORT_SETTINGS
+            Restriction.DISALLOW_IMPORT_SETTINGS,
+            Restriction.DISALLOW_DEVELOPER_TOOLS
     );
 
     @SuppressWarnings("serial")