diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2024-05-16 11:43:06 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2024-05-16 11:43:06 +0000 |
| commit | 367f5e2336143f317bdeb950dc7f61ea6022d983 (patch) | |
| tree | 73dfaa5432417646461516e59356b1115cca87c4 /autoload.php | |
| parent | f4d953a7144b65183be82607a81c256460d4942a (diff) | |
| parent | 8e40193659bc1a65301d25b9a7a31fbe1e3c3e15 (diff) | |
| download | mediawikicore-367f5e2336143f317bdeb950dc7f61ea6022d983.tar.gz mediawikicore-367f5e2336143f317bdeb950dc7f61ea6022d983.zip | |
Merge "specials: Improve docs and `@ingroup` tags, fix file headers"
Diffstat (limited to 'autoload.php')
0 files changed, 0 insertions, 0 deletions