diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2018-08-01 16:57:36 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2018-08-01 16:57:36 +0000 |
| commit | e143c40fee88922eb393a88f94e60afc439d1f49 (patch) | |
| tree | f4f29680c09543a49482662ab9bfff0e4e0fd2d7 /includes/FileDeleteForm.php | |
| parent | a5853433dad7a1aba91940cd6ac79480008671ee (diff) | |
| parent | b57fdd5d709e6d78f1120691ee2519181ef6353e (diff) | |
| download | mediawikicore-e143c40fee88922eb393a88f94e60afc439d1f49.tar.gz mediawikicore-e143c40fee88922eb393a88f94e60afc439d1f49.zip | |
Merge "[MCR] Allow extensions to manipulate service instances"
Diffstat (limited to 'includes/FileDeleteForm.php')
0 files changed, 0 insertions, 0 deletions