".FILE."
\n"; } else { if(is_array($_SESSION[SUPPORTED_FILES][ENDING])) { if(isset($_SESSION[preferred_plugin][ENDING])) { // echo "Your preferred plugin for this item is: ".$_SESSION[preferred_plugin][ENDING]."
\n"; header("Location: ".$_SESSION[PLUGIN_DIR]."/".$_SESSION[preferred_plugin][ENDING]."/index.php?file_name=".FILE); } else { echo "There are multiple plugins that support this item, please chose one!
\n"; foreach($_SESSION[SUPPORTED_FILES][ENDING] as $plugin) { echo "".$plugin."
\n"; echo "".$plugin." and do this for all the files of this type during this session
\n"; } } } else header("Location: ".$_SESSION[PLUGIN_DIR]."/".$_SESSION[SUPPORTED_FILES][ENDING]."/index.php?file_name=".FILE); } } PHP?>