Disable developer options when development_settings_enabled is disabled am:...

Disable developer options when development_settings_enabled is disabled am: b5774a8e am: 7644d600

Original change: https://googleplex-android-review.googlesource.com/c/platform/packages/apps/Settings/+/22562950



Change-Id: I8f2a65836e905616d5c19a7852e5eaf112e61afe
Signed-off-by: Automerger Merge Worker <android-build-automerger-merge-worker@system.gserviceaccount.com>