[Phpwiki-talk] CVS ErrorManager.php patch

[Dan F. <dfr...@cs...>]

diff -b -u -r1.26 ErrorManager.php
--- ErrorManager.php    2 Jun 2004 18:01:45 -0000       1.26
+++ ErrorManager.php    10 Jun 2004 19:23:19 -0000
@@ -227,7 +227,7 @@
         }
         else if (($error->errno & error_reporting()) != 0) {
             if  (($error->errno & $this->_postpone_mask) != 0) {
-                if (isa($error,'PhpErrorOnce')) {
+                if (is_a($error,'PhpErrorOnce')) {
                     $error->removeDoublettes($this->_postponed_errors);
                     if ( $error->_count < 2 )
                         $this->_postponed_errors[] = $error;