diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-04-17 01:13:49 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-04-17 01:13:49 +0000 |
| commit | 99a84628f422b28739cf2ff1d42ef43f0f38fe5b (patch) | |
| tree | d7f17af0a2af9654b8efce78686452274797df3c /includes/registration | |
| parent | 334eb94f200ea0ab2acca101a595b980b1ac39c8 (diff) | |
| parent | a2cb76937dfa46dd1cbd5b1fcb4e973e39063906 (diff) | |
| download | mediawikicore-99a84628f422b28739cf2ff1d42ef43f0f38fe5b.tar.gz mediawikicore-99a84628f422b28739cf2ff1d42ef43f0f38fe5b.zip | |
Merge "Hard deprecate Parser::OutputType and Parser::Options"
Diffstat (limited to 'includes/registration')
0 files changed, 0 insertions, 0 deletions