Merge "New global setting for developer options."