PatchSelectWidget: Use sanitized patch list data

We already cast null to [] elsewhere, so use it here.

Fixes #288

Author: edg2s

index.php

@@ -241,7 +241,7 @@
 	$wikiData = get_wiki_data_from_row( $data );
 	$wiki = $data['wiki'];
 
-	$wikiPatches[$wiki] = json_decode( $data['patches'] );
+	$wikiPatches[$wiki] = $wikiData['patches'];
 
 	$closed = false;
 	$patches = format_patch_list( $wikiData['patchList'], $wikiData['branch'], $closed );