author | Lucas Werkmeister <lucas.werkmeister@wikimedia.de> | |
Tue, 11 Sep 2018 16:07:43 +0000 (18:07 +0200) | ||
committer | Daniel Kinzler <daniel.kinzler@wikimedia.de> | |
Tue, 11 Sep 2018 17:53:39 +0000 (17:53 +0000) |
includes/DefaultSettings.php | patch | blob | history |