From ec4111430db7fa6034aae73fc5eccab2d65675b1 Mon Sep 17 00:00:00 2001
From: jgen <jeffgenovy@gmail.com>
Date: Sun, 12 Mar 2017 00:29:10 -0800
Subject: [PATCH] More linting.

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

diff --git a/ext/ext_manager/main.php b/ext/ext_manager/main.php
index 9f6045c6..3a19809d 100644
--- a/ext/ext_manager/main.php
+++ b/ext/ext_manager/main.php
@@ -193,7 +193,7 @@ class ExtManager extends Extension {
 	}
 
     /**
-     * @param string[] $extra
+     * @param string[] $extras
      */
 	private function write_config($extras) {
 		file_put_contents(
diff --git a/ext/image/main.php b/ext/image/main.php
index fb110106..fde7b727 100644
--- a/ext/image/main.php
+++ b/ext/image/main.php
@@ -376,7 +376,7 @@ class ImageIO extends Extension {
 		$image->tag_array = array();
 		send_event(new TagSetEvent($image, $tags_to_set));
 
-		if($image->source) {
+		if($image->source !== null) {
 			log_info("core-image", "Source for Image #{$image->id} set to: {$image->source}");
 		}
 	}