diff options
Diffstat (limited to 'ext/standard/user_filters.stub.php')
| -rwxr-xr-x | ext/standard/user_filters.stub.php | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/ext/standard/user_filters.stub.php b/ext/standard/user_filters.stub.php index 4065750312..7beb014f62 100755 --- a/ext/standard/user_filters.stub.php +++ b/ext/standard/user_filters.stub.php @@ -4,6 +4,11 @@ class php_user_filter { + /** @var string */ + public $filtername = ""; + /** @var string */ + public $params = ""; + /** * @param resource $in * @param resource $out |