From 24371d8c3443440085cc6f2772a8434745dacedf Mon Sep 17 00:00:00 2001 From: jgen Date: Fri, 25 Apr 2014 23:19:18 -0400 Subject: [PATCH] Fix the PHP Doc comments. --- core/util.inc.php | 13 +++++++++---- 1 file changed, 9 insertions(+), 4 deletions(-) diff --git a/core/util.inc.php b/core/util.inc.php index 5700463c..60a95b6f 100644 --- a/core/util.inc.php +++ b/core/util.inc.php @@ -312,8 +312,8 @@ function endsWith(/*string*/ $haystack, /*string*/ $needle) { * * eg make_link("post/list") becomes "/v2/index.php?q=post/list" * - * @param null $page - * @param null $query + * @param null|string $page + * @param null|string $query * @return string */ function make_link($page=null, $query=null) { @@ -348,7 +348,7 @@ function make_link($page=null, $query=null) { /** - * Take the current URL and modify some paramaters + * Take the current URL and modify some parameters * * @param $changes * @return string @@ -392,7 +392,7 @@ function modify_url($url, $changes) { /** * Turn a relative link into an absolute one, including hostname * - * @param $link + * @param string $link * @return string */ function make_http(/*string*/ $link) { @@ -433,6 +433,11 @@ function mtimefile($file) { return "$data_href/$file?$mtime"; } +/** + * Return the current theme as a string + * + * @return string + */ function get_theme() { global $config; $theme = $config->get_string("theme", "default");