From ebe997e170b04287668975861396b9976c5ece97 Mon Sep 17 00:00:00 2001
From: carstenklapp <carstenklapp@96ab9672-09ca-45d6-a79d-3d69d39ca109>
Date: Sat, 20 Sep 2003 00:02:12 +0000
Subject: [PATCH] Possible solution for isWindowsNT() using PHP_OS
 (unconfirmed).

git-svn-id: svn://svn.code.sf.net/p/phpwiki/code/trunk@2750 96ab9672-09ca-45d6-a79d-3d69d39ca109
---
 lib/FileFinder.php | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/FileFinder.php b/lib/FileFinder.php
index cbf2b2ae4..90c549a2e 100644
--- a/lib/FileFinder.php
+++ b/lib/FileFinder.php
@@ -1,4 +1,4 @@
-<?php rcs_id('$Id: FileFinder.php,v 1.13 2003-03-07 02:51:31 dairiki Exp $');
+<?php rcs_id('$Id: FileFinder.php,v 1.14 2003-09-20 00:02:12 carstenklapp Exp $');
 
 require_once('lib/stdlib.php');
 
@@ -403,6 +403,7 @@ function isWindowsNT() {
     static $winnt;
     if (isset($winnt)) return $winnt;
     // FIXME: Do this using PHP_OS instead of php_uname().
+    // $winnt = (PHP_OS == "WINNT"); // example from http://www.php.net/manual/en/ref.readline.php
     if (function_usable('php_uname'))
         $winnt = preg_match('/^Windows NT/', php_uname());
     else
-- 
2.45.0