[PATCH v15 2/7] windows.web: JsonArray element getters