AddonScriptorDE/plugin.video.arte_tv — pull request #1 by jeanparpaillon (2012-11-14 14:51:57+00:00)
Title: Switch to plus7 REST API

Using the plus7 REST API is more reliable and faster.
Downloaded JSON file is cached for 30 minutes (default).
plus7 code grabbed from