urls_downloaded_cb({"token":"finishing","urls":[{"url":"tutorials/android/a-complete-media-player.html#introduction","node_type":"p","page":"Android tutorial 5: A Complete media player","sections":["Android tutorial 5: A Complete media player","Introduction"],"context":{"gi-language":["default"]}},{"url":"tutorials/ios/a-complete-media-player.html#introduction","node_type":"p","page":"iOS tutorial 5: A Complete media player","sections":["iOS tutorial 5: A Complete media player","Introduction"],"context":{"gi-language":["default"]}}]});