Improve javadocs.

diff --git a/lib/weblib.php b/lib/weblib.php
index dbde8630cb0a7b9b921c7b2265ec72b7cabb1090..505a56459a94c0985535dbe2f27b2ee42bf4f304 100644 (file)
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -2136,7 +2136,7 @@ function convert_urls_into_links(&$text) {
  *
  * @param string $needle The string to search for
  * @param string $haystack The string to search for $needle in
- * @param int $case ?
+ * @param int $case whether to do case-sensitive or insensitive matching. 
  * @return string
  * @todo Finish documenting this function
  */