Merge "Remove Preferences class"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 11 Apr 2019 16:19:15 +0000 (16:19 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 11 Apr 2019 16:19:15 +0000 (16:19 +0000)
commit3583f4dcd5aafb13925ea396b43bf6f970eca829
treee1eafbe911b09b5a9e45c12355aabe40d71146e9
parent0497d59792ddb2ba94e49ae92f49396f7b86fc57
parentf646a7db1309310535262687dd227886e69ebd57
Merge "Remove Preferences class"
autoload.php