tree 8a9ba400ece05e5cd62847460e31aeebc68795d3
parent 2c1de66c583033893b0964b23a9d759af5c49a25
author Jason Monk <jmonk@google.com> 1511363078 -0500
committer Jason Monk <jmonk@google.com> 1521812217 -0400

Add option for settings to push to a device index

The index implementation is optional and left up to the OEM.

Test: Open settings, see content in index
Test: robo tests
Bug: 68378569
Bug: 76102600
Change-Id: Idb8bb1e0cabbbe92e7a852e2eadbdcd8c2ab7d56