# HG changeset patch # User Nicholas Jillings # Date 1543413124 0 # Node ID 5419fc9cbb15d6a9d22c83696f1d88c5c848a794 # Parent a543efc6ef1d3365582d6c87ac0f4a3a448eb21d# Parent a8455b0766cd8819bc2d9d96be83f1af3a0e5e71 Merge branch 'vnext' into Dev_main diff -r a8455b0766cd -r 5419fc9cbb15 php/comment_parser.php --- a/php/comment_parser.php Wed Nov 28 13:51:51 2018 +0000 +++ b/php/comment_parser.php Wed Nov 28 13:52:04 2018 +0000 @@ -1,4 +1,5 @@ \ No newline at end of file diff -r a8455b0766cd -r 5419fc9cbb15 php/get_filtered_count.php --- a/php/get_filtered_count.php Wed Nov 28 13:51:51 2018 +0000 +++ b/php/get_filtered_count.php Wed Nov 28 13:52:04 2018 +0000 @@ -1,4 +1,5 @@ ERROR".$key."Could not open file for writing"); diff -r a8455b0766cd -r 5419fc9cbb15 php/save.php --- a/php/save.php Wed Nov 28 13:51:51 2018 +0000 +++ b/php/save.php Wed Nov 28 13:52:04 2018 +0000 @@ -1,5 +1,5 @@ diff -r a8455b0766cd -r 5419fc9cbb15 php/score_parser.php --- a/php/score_parser.php Wed Nov 28 13:51:51 2018 +0000 +++ b/php/score_parser.php Wed Nov 28 13:52:04 2018 +0000 @@ -1,4 +1,5 @@ "); if ($state == FALSE) { echo "Could not open file";