modified:   public_html/src/php/request_types/end_flashcard_game.php
Fixed #21: Ending a Flashcard Game after time has expired returns bad JSON. Server was expecting seconds rather than ms.