am 9edbb235: am dfed49a2: Merge "Changing app widget "extras" to "options" and...
am 9edbb235: am dfed49a2: Merge "Changing app widget "extras" to "options" and another small API Review issue" into jb-dev
* commit '9edbb235':
Changing app widget "extras" to "options" and another small API Review issue