diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-09-12 23:20:10 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-09-12 23:20:10 +0000 |
| commit | c8d472881311d9d75ff46fb26ab8727581dd4682 (patch) | |
| tree | bde7cdf7e9d0a4a6cdf1822397986705e1c4df6b /includes/parser/PPDStack_Hash.php | |
| parent | 7419cb93b3b7fe5b801d3390660a8ae6eda80c10 (diff) | |
| parent | 3fca49a1f45fa48d2778cbddb0538b6c0cb4503d (diff) | |
| download | mediawikicore-c8d472881311d9d75ff46fb26ab8727581dd4682.tar.gz mediawikicore-c8d472881311d9d75ff46fb26ab8727581dd4682.zip | |
Merge "api: Add missing documentation to class properties"
Diffstat (limited to 'includes/parser/PPDStack_Hash.php')
0 files changed, 0 insertions, 0 deletions