Better image handling for articles

functions.php

@@ -99,15 +99,24 @@ function total_articles() {
 }
 
 function article_img_url($slug){
-	return '/img/blog/'.$slug.'.png';
+	return '/img/blog/'.$slug;
 }
 
-function article_has_img($slug){
-	return file_exists('.'.article_img_url($slug));
+function article_img_ext($slug){
+    $extensions = array( "png", "jpg", "jpeg", "gif" );
+    foreach($extensions as $ext){
+        foreach(array($ext, strtoupper($ext)) as $e){
+	        if (file_exists('.'.article_img_url($slug).'.'.$e)){
+                return $e;
+            }
+        }
+    }
+    return "";
 }
 
 function article_img($slug){
-	if(article_has_img($slug)){
-		echo '<img class="picture odd" src="'.article_img_url($slug).'" />';
+    $ext = article_img_ext($slug);
+    if($ext != ""){
+		echo '<img class="odd" width="300px" src="'.article_img_url($slug).'.'.$ext.'" />';
 	}
 }