FIX: Fatal error: Uncaught TypeError: array_flip(): Argument #1 ($array)

must be of type array, null given in neverRunByPP.php:275

Author: DanProgs

lib/results/neverRunByPP.php

@@ -272,7 +272,9 @@ function initializeGui(&$dbh,&$argsObj,&$tplanMgr) {
 
   // will be used when sending mail o creating spreadsheet
   $guiObj->platSet = array();
-  $pp = (array)array_flip($argsObj->platSet);
+  if (!empty($argsObj->platSet)) {
+      $pp = (array)array_flip($argsObj->platSet);
+  }
   if( !isset($pp[0]) ) {
     // we have platforms
     foreach( $argsObj->platSet as $pk ) {