From 96e1daba3372573530638c0da1c45555a7f02012 Mon Sep 17 00:00:00 2001
From: Morris Jobke <hey@morrisjobke.de>
Date: Wed, 21 Jun 2017 12:23:55 -0500
Subject: [PATCH] Added missing PHPDoc for @since

Signed-off-by: Morris Jobke <hey@morrisjobke.de>
---
 lib/public/Files/Config/IUserMountCache.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/public/Files/Config/IUserMountCache.php b/lib/public/Files/Config/IUserMountCache.php
index e1db1cbf98b..fca797d3b69 100644
--- a/lib/public/Files/Config/IUserMountCache.php
+++ b/lib/public/Files/Config/IUserMountCache.php
@@ -113,6 +113,7 @@ interface IUserMountCache {
 	 *
 	 * @param IUser[] $users
 	 * @return int[] [$userId => $userSpace]
+	 * @since 13.0.0
 	 */
 	public function getUsedSpaceForUsers(array $users);
 }