From 204ea1d23944d8aedeb8e8d0a37120658cfed27b Mon Sep 17 00:00:00 2001
From: jgen <jeffgenovy@gmail.com>
Date: Sun, 12 Mar 2017 17:13:32 -0700
Subject: [PATCH] And more linting.

---
 ext/index/main.php  | 2 +-
 ext/rating/main.php | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ext/index/main.php b/ext/index/main.php
index 906b446f..49e53781 100644
--- a/ext/index/main.php
+++ b/ext/index/main.php
@@ -161,7 +161,7 @@
 class SearchTermParseEvent extends Event {
 	/** @var null|string  */
 	public $term = null;
-	/** @var null */
+	/** @var string[] */
 	public $context = array();
 	/** @var \Querylet[] */
 	public $querylets = array();
diff --git a/ext/rating/main.php b/ext/rating/main.php
index 8345b74b..fffb60f0 100644
--- 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) {