diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2020-07-03 11:57:32 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2020-07-03 11:57:32 +0000 |
| commit | 804abf07f36bf7397fd56dbc5a9ba5837ce48dfc (patch) | |
| tree | 17dfa20af504647aa43b282906fd787806f041bd /includes/libs/HtmlArmor.php | |
| parent | 6f53c6279e063a90232469016831120b0f40e872 (diff) | |
| parent | 0904c27af93eb451a8da974ab386541ab5afd764 (diff) | |
| download | mediawikicore-804abf07f36bf7397fd56dbc5a9ba5837ce48dfc.tar.gz mediawikicore-804abf07f36bf7397fd56dbc5a9ba5837ce48dfc.zip | |
Merge "Fix some incomplete PHPDocs in Revision and related"
Diffstat (limited to 'includes/libs/HtmlArmor.php')
0 files changed, 0 insertions, 0 deletions