Documentation via Bug Tracker

Does the "attrs" parameter for Android's Resources.Theme.obtainStyledAttributes need to be sorted?

https://code.google.com/p/android/issues/detail?id=91445
vs
Official reference

attrs

int: The desired attributes to be retrieved.

Update: the javadoc is now updated!