Merge pull request #399 from ntzm/patch-1

Add __PHP_Incomplete_Class_Name to __PHP_Incomplete_Class
2018-08-13 14:22:42 +03:00 · 2018-08-13 14:22:42 +03:00 · f1f8c17fd8
parent db07f4569d a289fe813f
commit f1f8c17fd8
1 changed files with 4 additions and 0 deletions
--- a/standard/standard_0.php
+++ b/standard/standard_0.php
@ -3,6 +3,10 @@
 // Start of standard v.5.3.2-0.dotdeb.1

 class __PHP_Incomplete_Class  {
+        /**
+         * @var string
+         */
+        public $__PHP_Incomplete_Class_Name;
 }

 class php_user_filter  {