author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | |
Thu, 13 Jun 2019 22:18:21 +0000 (22:18 +0000) | ||
committer | Gerrit Code Review <gerrit@wikimedia.org> | |
Thu, 13 Jun 2019 22:18:21 +0000 (22:18 +0000) | ||
commit | 7c966af21ad97198ed46513588c27a90014fe81f | |
tree | e7c27091e3504bbe9bb42ceed38d516063425d10 | tree | snapshot |
parent | d3c393e41651d5b447c8c7b46f2b1455ec1bd154 | commit | diff |
parent | 3f0056a252daa4e97396e0eb4b72651f33ce57b3 | commit | diff |
docs/extension.schema.v2.json | diff1 | | diff2 | | blob | history |
includes/DefaultSettings.php | diff1 | | diff2 | | blob | history |