And more linting.

2017-03-12 17:13:32 -07:00
parent 9a68d7ac98
commit 204ea1d239
2 changed files with 2 additions and 2 deletions
--- a/ext/rating/main.php
+++ b/ext/rating/main.php
@@ -242,7 +242,7 @@ class Ratings extends Extension {
 	}

 	/**
-	 * @param $context
+	 * @param string[] $context
 	 * @return bool
 	 */
 	private function no_rating_query($context) {