diff -r 2dcc64515346 -r 5119203470f3 QTfrontend/game.cpp
--- a/QTfrontend/game.cpp	Tue May 07 22:36:15 2019 +0200
+++ b/QTfrontend/game.cpp	Fri May 10 22:51:43 2019 +0200
@@ -497,6 +497,19 @@
     SetGameState(gsStarted);
 }
 
+void HWGame::PlayOfficialServerDemo()
+{
+    // TODO: Use gtDemo so fast-forward is available.
+    // Needs engine support first.
+    lastGameStartArgs.clear();
+    lastGameType = gtLocal;
+
+    gameType = gtLocal;
+    demo.clear();
+    Start(false);
+    SetGameState(gsStarted);
+}
+
 void HWGame::StartNet()
 {
     lastGameStartArgs.clear();