Merge "Warn on session access in profileinfo.php and opensearch_desc.php"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Thu, 5 May 2016 16:09:56 +0000 (16:09 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 5 May 2016 16:09:56 +0000 (16:09 +0000)
commit3aa7e1d66a0f3d91043c7abf0e10eac15f445a80
tree1496beb73b48831d94e559e39972e4ab2e4b9f78
parentd461fc3bd6a095ce1330c554f420580ee82a2233
parent53b4892ffb19b291d63452d75673e3f7059818a3
Merge "Warn on session access in profileinfo.php and opensearch_desc.php"