I have added the interface in the widelands-server branch as
GameController::report_result(int player, int points, std::string extra)
I have added the interface in the widelands-server branch as
GameController: :report_ result( int player, int points, std::string extra)