Merge "Title: Fix inaccurate documentation of getUserPermissionsErrorsInternal"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 24 Mar 2016 04:44:21 +0000 (04:44 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 24 Mar 2016 04:44:21 +0000 (04:44 +0000)
commit7340ddc12e299943485f8c928124a0890533dd9c
tree3d84c2d679a5a4fe897e42e9495af6ebe45e9ada
parent153a5834327b1aa29bad7014c7dc37ccd56f9f57
parentf30d1337eabeebcc3305ec5c80189acd5896645d
Merge "Title: Fix inaccurate documentation of getUserPermissionsErrorsInternal"
includes/Title.php