[automerger skipped] Disable "Developer options" by default for managed...

[automerger skipped] Disable "Developer options" by default for managed profiles. am: 906bdbef -s ours

am skip reason: Merged-In Ibe6b721f2552d9e72aba0582a2eed4ba87178c7c with SHA-1 3461e849 is already in history

Original change: https://googleplex-android-review.googlesource.com/c/platform/frameworks/base/+/31566753



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