diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-03-18 05:19:04 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-03-18 05:19:04 +0000 |
| commit | 26a38eb71483adb23004f067c06238c131800ce3 (patch) | |
| tree | 89b33788ad3afbe0def5eee86e1dacfecab4edec /includes/api | |
| parent | d3b02d02d298c14f6903acded2b9480b5e2cb955 (diff) | |
| parent | 369b3fa977a2d5ce07ed14b9b54f30c8803f6b1a (diff) | |
| download | mediawikicore-26a38eb71483adb23004f067c06238c131800ce3.tar.gz mediawikicore-26a38eb71483adb23004f067c06238c131800ce3.zip | |
Merge "Normalize PHPDoc attributes"
Diffstat (limited to 'includes/api')
0 files changed, 0 insertions, 0 deletions