Merge "Change \\ to \ in phpdoc"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 8 Apr 2016 18:12:54 +0000 (18:12 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 8 Apr 2016 18:12:54 +0000 (18:12 +0000)
commit6bcdf27c748d70369ff301a5f586fd6a9e2f09a7
treef2b81fcc39a26a721a06d37fddec5fc3fb573408
parent5ce39553e27369e613ae16987a6bdccc5b380c40
parent4085db348edbcae180a79aa3d41891a12958541c
Merge "Change \\ to \ in phpdoc"
includes/DefaultSettings.php
includes/GlobalFunctions.php