xinha security issue, temporarily disabled all PHP plugins

htmlarea/plugins/ExtendedFileManager/config.inc.php

@@ -1,4 +1,5 @@
 <?php
+die('disabled in s9y');
 /**
  * ExtendedFileManager configuration file.
  * Authors: Wei Zhuo, Afru

htmlarea/plugins/FormOperations/formmail.php

@@ -1,5 +1,5 @@
 <?php
-
+die('disabled in s9y');
   $send_to      = 'Website Enquiries <enquiries@' . preg_replace('/^www./', '', $_SERVER['HTTP_HOST']) . '>';
 
   $emailfield   = NULL;

htmlarea/plugins/HtmlTidy/html-tidy-logic.php

@@ -1,4 +1,6 @@
 <?php 
+die('disabled in s9y');
+
 ##
 ##  Plugin for htmlArea, to run code through the server's HTML Tidy
 ##   By Adam Wright, for The University of Western Australia

htmlarea/plugins/ImageManager/config.inc.php

@@ -1,4 +1,5 @@
 <?php
+die('disabled in s9y');
 /**
  * Image Manager configuration file.
  * @author $Author:gogo $

htmlarea/plugins/InsertPicture/InsertPicture.php

@@ -1,4 +1,5 @@
 <?PHP
+die('disabled in s9y');
   //this plugin only use the relativ webpath to the picturefolder
   //default ~  /Xinha/plugins/InsertPicture/demo_pictures/
   strstr( PHP_OS, "WIN") ? $strPathSeparator = "\\" : $strPathSeparator = "/";

htmlarea/plugins/InsertSnippet/snippets.php

@@ -1,4 +1,5 @@
 <?php
+die('disabled in s9y');
 $snippets_file = 'snippets.html';
 
 include_once('../../contrib/php-xinha.php');

htmlarea/plugins/SpellChecker/aspell_setup.php

@@ -4,7 +4,7 @@
 // 2005-08-17 YmL:
 //	.	security fix on unchecked variables. Original author missed quite a few
 //		holes.
-
+die('disabled in s9y');
   umask(000);
   $temptext = tempnam('/tmp', 'spell_');
   if ((!isset($_POST['dictionary'])) || (strlen(trim($_POST['dictionary'])) < 1))

htmlarea/plugins/SpellChecker/spell-check-logic.php

@@ -1,4 +1,5 @@
 <?php
+die('disabled in s9y');
   $text = stripslashes($_POST['content']);
 
   // Convert UTF-8 multi-bytes into decimal character entities.  This is because

htmlarea/plugins/SuperClean/tidy.php

@@ -1,4 +1,5 @@
 <?php
+die('disabled in s9y');
   /** This PHP file is intended for use with XMLHTTPRequest from Xinha
    * it requrns javascript to set the Xinha html with tidied html that is
    * submitted in a $_POST parameter called 'content'