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

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

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

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