Some minor linting.

core/user.class.php

@@ -46,6 +46,7 @@ class User {
 	 * would be to use User::by_id, User::by_session, etc.
 	 *
 	 * @param mixed $row
+	 * @throws SCoreException
 	 */
 	public function __construct($row) {
 		global $_user_classes;

ext/favorites/main.php

@@ -27,7 +27,7 @@ class FavoriteSetEvent extends Event {
 	 * @param bool $do_set
 	 */
 	public function __construct(/*int*/ $image_id, User $user, /*boolean*/ $do_set) {
-		assert(is_numeric($image_id));
+		assert(is_int($image_id));
 		assert(is_bool($do_set));
 
 		$this->image_id = $image_id;