Adds Robolectric documentation to the Android developer docs.
This extension adds Robolectric-related documentation to the Android developer docs at https://developer.android.com/.
- (2019-06-14) Jian Zhou: Can it work with "https://developer.android.google.cn/reference/packages"? This is the china version reference site that google provides for chinese developers.
- (2019-02-01) Michał Krasowski: Not sure if this is broken or provides no documentation.