info343/xml/videos.php

<?php
   header('Content-type: application/xml');
   $courseinfo = json_decode(file_get_contents('../course.json'));
   $course = $courseinfo['course']['short'];
   $quarter = $courseinfo['quarter']['short'];
   $section = $_GET['section'];
   echo file_get_contents("http://info343.ischool.uw.edu/lectures/videos.php?course=$course&quarter=$quarter&section=$section");
?>