diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-09-12 23:24:39 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-09-12 23:24:39 +0000 |
| commit | f6af2842f4323ae5842c2133a3ed67921e963035 (patch) | |
| tree | a54cb9c175b68f4a724edd327b3b93b48cdc7c44 /includes/parser/PPDStack_Hash.php | |
| parent | c8d472881311d9d75ff46fb26ab8727581dd4682 (diff) | |
| parent | 8e8a56c8807bcbcf1564fac1eee2e8bc667734b3 (diff) | |
| download | mediawikicore-f6af2842f4323ae5842c2133a3ed67921e963035.tar.gz mediawikicore-f6af2842f4323ae5842c2133a3ed67921e963035.zip | |
Merge "parser: Add missing documentation to class properties"
Diffstat (limited to 'includes/parser/PPDStack_Hash.php')
| -rw-r--r-- | includes/parser/PPDStack_Hash.php | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/includes/parser/PPDStack_Hash.php b/includes/parser/PPDStack_Hash.php index 2d75e2170a7e..ededf4bfcaca 100644 --- a/includes/parser/PPDStack_Hash.php +++ b/includes/parser/PPDStack_Hash.php @@ -36,7 +36,9 @@ class PPDStack_Hash { * @var PPDStackElement_Hash|false */ public $top; + /** @var string|null */ public $out; + /** @var string */ public $elementClass = PPDStackElement_Hash::class; public function __construct() { |