This is old code before the develop challenge submission code was added.  It looks like this file itself "content-basic-challenge-details.php" is a portion of the page-challenge-detail.php template.  Please look at the current version of that template and this template to make sure we have the newest code.