urls_downloaded_cb({"token":"is_local_media","urls":[{"url":"tutorials/android/media-player.html#supporting-arbitrary-media-uris","node_type":"p","page":"Android tutorial 4: A basic media player","sections":["Android tutorial 4: A basic media player","A basic media player [Java code]","Supporting arbitrary media URIs"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-basic-media-player.html#the-video-view-controller","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The Video View Controller"],"context":{"gi-language":["default"]}}]});