urls_downloaded_cb({"token":"VideoViewController","urls":[{"url":"tutorials/ios/a-basic-media-player.html#the-user-interface","node_type":"p","page":"iOS tutorial 4: A basic media player","sections":["iOS tutorial 4: A basic media player","The User Interface"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-complete-media-player.html#selecting-the-media-to-play","node_type":"p","page":"iOS tutorial 5: A Complete media player","sections":["iOS tutorial 5: A Complete media player","Selecting the media to play"],"context":{"gi-language":["default"]}}]});