From b4a46b0d924f35d34119c29f6b5f01bf3e88bf20 Mon Sep 17 00:00:00 2001
From: Andrei Bautu <abautu@gmail.com>
Date: Thu, 12 Nov 2020 15:19:10 +0200
Subject: [PATCH] Fix phpdoc

---
 lib.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib.php b/lib.php
index d7f1f06..b541a49 100644
--- a/lib.php
+++ b/lib.php
@@ -197,7 +197,7 @@ public function get_listing($path = '', $page = '') {
      *
      * @param string $searchtext search key word
      * @param int $page page
-     * @return mixed see {@link repository::get_listing()}
+     * @return mixed see {@see repository::get_listing()}
      */
     public function search($searchtext, $page = '') {
         $data = $this->get_files(null, $searchtext, (int)$page);