Property definitions

android $ Extra :: phone_number
	fun phone_number: JavaString in "Java" `{ return Intent.EXTRA_PHONE_NUMBER; `}
lib/android/intent/intent_api10.nit:541,2--79