Accept Windows as well as WINNT

diff --git a/filter/tex/pix.php b/filter/tex/pix.php
index 3ddb1a6ade3999567b0a141cb60f47e4b13fe3f6..ccaf03f5656e8f9eb4c838e7c0916ee475c8a44f 100644 (file)
--- a/filter/tex/pix.php
+++ b/filter/tex/pix.php
@@ -51,6 +51,7 @@
                     system("QUERY_STRING=;export QUERY_STRING;$CFG->dirroot/$CFG->texfilterdir/mimetex.linux -d ". escapeshellarg($texexp) . "  >$pathname");
                 break;
                 case "WINNT":
+                case "Windows":
                     $texexp = str_replace('"','\"',$texexp);
                     system("$CFG->dirroot/$CFG->texfilterdir/mimetex.exe -e  $pathname \"$texexp\"");
                 break;