Updates.

Author: csev

tools/python-data/grade-detail.php

@@ -34,7 +34,6 @@
 if ( is_object($json) ) {
     echo("<pre>\n");
     if ( isset($json->code)) {
-        echo("Code:\n");
         echo(htmlent_utf8($json->code));
         echo("\n");
         unset($json->code);

tools/pythonauto/grade-detail.php

@@ -34,7 +34,6 @@
 if ( is_object($json) ) {
     echo("<pre>\n");
     if ( isset($json->code)) {
-        echo("Code:\n");
         echo(htmlent_utf8($json->code));
         echo("\n");
         unset($json->code);

tools/sql-intro/grade-detail.php

@@ -34,7 +34,6 @@
 if ( is_object($json) ) {
     echo("<pre>\n");
     if ( isset($json->code)) {
-        echo("Code:\n");
         echo(htmlent_utf8($json->code));
         echo("\n");
         unset($json->code);