Merge "Switch includes/{preferences,services,session,shell} to use the PSR-4 autoloader"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sat, 26 May 2018 22:40:47 +0000 (22:40 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sat, 26 May 2018 22:40:47 +0000 (22:40 +0000)
commit9a0526c8aac2b8341d24f85e8db07df2b6a0e079
tree438419f0e2df63700a4a3d23ae4e73c9bf312835
parentae051b4a12763445fe96bed7b4fa925a266dad90
parentec76c5b50e998c6249fd1334abf595e509cee996
Merge "Switch includes/{preferences,services,session,shell} to use the PSR-4 autoloader"
autoload.php