Merge "Create IResultWrapper interface for type-hints"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 10 Feb 2017 22:01:41 +0000 (22:01 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 10 Feb 2017 22:01:43 +0000 (22:01 +0000)
commit71803987d322ea60b3ba3d765375849adfe11776
treea9f5b6ad8a59a6c23aa7957838ef148b7244477b
parentbab359434217e9aca1ab0e4b5abf4b94bbd8c60b
parent3bb4e07a0824968d221f2c19afa6c2a92e4ec09c
Merge "Create IResultWrapper interface for type-hints"
autoload.php