diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2025-04-04 01:04:22 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2025-04-04 01:04:22 +0000 |
| commit | 681c51692d9dc6bc2d3e2e8148bced6cdc7007a7 (patch) | |
| tree | 15843bce850d3896711ce83ba8256ba941f3276e /includes/Permissions/RateLimiter.php | |
| parent | d0fd2b39add6658f6e2d63249e3f5096c10b4052 (diff) | |
| parent | c3ec177e6d9a350e8a5f1ade4dc17f5fcc4987d9 (diff) | |
| download | mediawikicore-681c51692d9dc6bc2d3e2e8148bced6cdc7007a7.tar.gz mediawikicore-681c51692d9dc6bc2d3e2e8148bced6cdc7007a7.zip | |
Merge "file: Use type declaration on undocumented private functions"
Diffstat (limited to 'includes/Permissions/RateLimiter.php')
0 files changed, 0 insertions, 0 deletions