Unified Diff: mobile/android/base/resources/xml-v11/preference_headers.xml
Issue 5424478255316992:
Issue 2475 - Remove Developer tools on tablets (Closed)
Patch Set:
Created May 8, 2015, 3:04 p.m.
Use n/p to move between diff chunks;
N/P to move between comments.
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
Expand Comments ('e') | Collapse Comments ('c') | Hide Comments ('s')
| Index: mobile/android/base/resources/xml-v11/preference_headers.xml |
| =================================================================== |
| --- a/mobile/android/base/resources/xml-v11/preference_headers.xml |
| +++ b/mobile/android/base/resources/xml-v11/preference_headers.xml |
| @@ -40,10 +40,6 @@ |
| android:value="preferences_vendor"/> |
| </header> |
| - <header android:fragment="org.mozilla.gecko.preferences.GeckoPreferenceFragment" |
| - android:title="@string/pref_header_devtools"> |
| - <extra android:name="resource" |
| - android:value="preferences_devtools"/> |
| - </header> |
| + <!-- Removed devtools as part of https://issues.adblockplus.org/ticket/2475 --> |
| </preference-headers> |
« no previous file with comments
|
« no previous file
|
no next file »
|
no next file with comments »
