From 7868de529e49e9c271fe290ab351038214a943b2 Mon Sep 17 00:00:00 2001
From: Michael <heluecht@pirati.ca>
Date: Tue, 27 Mar 2018 15:12:19 +0000
Subject: [PATCH] Forgotten doxygen header

---
 src/Protocol/PortableContact.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/Protocol/PortableContact.php b/src/Protocol/PortableContact.php
index e66cb4687c..d5e9d8f8c6 100644
--- a/src/Protocol/PortableContact.php
+++ b/src/Protocol/PortableContact.php
@@ -1387,6 +1387,11 @@ class PortableContact
 		return !$failure;
 	}
 
+	/**
+	 * @brief Fetch relay data from a given server url
+	 *
+	 * @param string $server_url address of the server
+	 */
 	private static function discoverRelay($server_url)
 	{
 		logger("Discover relay data for server " . $server_url, LOGGER_DEBUG);
-- 
2.39.5