diff options
author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-08-02 23:10:50 +0000 |
---|---|---|
committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-08-02 23:10:50 +0000 |
commit | 4549aabaec52cdb870fed9f8e735901199ac4832 (patch) | |
tree | 604cf51af1d75fe5f840d9958a1dae0f87ec814b /includes/Defines.php | |
parent | 553c6c41977de0979e3699f041910c3ff91f6452 (diff) | |
parent | 72304b95297e8cb4b2627d947ae5440c667ac879 (diff) | |
download | mediawikicore-4549aabaec52cdb870fed9f8e735901199ac4832.tar.gz mediawikicore-4549aabaec52cdb870fed9f8e735901199ac4832.zip |
Merge "Use `text` element for current content model on Special:ChangeContentModel"
Diffstat (limited to 'includes/Defines.php')
0 files changed, 0 insertions, 0 deletions