- For now we need the simple way

diff --git a/ext/spl/spl.php b/ext/spl/spl.php
index 49309bdf1146f6312f9900221de2250ba74dd1ba..c65a080eda55b05d2034cd7fdfcefea6605874e6 100755 (executable)
--- a/ext/spl/spl.php
+++ b/ext/spl/spl.php
@@ -696,9 +696,9 @@ interface Subject
         */
     function detach(Observer $observer);
 
-       /** @param $ignore optional observer that should not be notified
+       /** Notify all observers
         */
-    function notify([Observer $ignore = NULL]);
+    function notify();
 }
 
 ?>