Change \\ to \ in phpdoc
authorGergő Tisza <tgr.huwiki@gmail.com>
Wed, 6 Apr 2016 22:22:33 +0000 (00:22 +0200)
committerGergő Tisza <gtisza@wikimedia.org>
Fri, 8 Apr 2016 17:46:30 +0000 (17:46 +0000)
commit4085db348edbcae180a79aa3d41891a12958541c
treec76b296c44da600a96aae43d82ec61075839f268
parent9f72780bdefcd1ce1106172cfbeca9818144b287
Change \\ to \ in phpdoc

Remove "\\" in namespacing. This is a Doxygen compatibility hack but
does not seem needed anymore, Doxygen reads namespaced class names
correctly, see e.g. https://doc.wikimedia.org/mediawiki-core/master/php/classMediaWiki_1_1Services_1_1ServiceContainer.html

PHP IDEs, on the other hand, were broken by the double backslash.

As an unrelated small doc fix, add parameter docs to PermissionError
constructor (parent has different arguments so the inherited
documentation is wrong).

Change-Id: I6da0f512b8c84f65fd20e90e4617108fe6a8fcd2
17 files changed:
includes/DefaultSettings.php
includes/FauxRequest.php
includes/GlobalFunctions.php
includes/Setup.php
includes/WebRequest.php
includes/api/ApiQueryTokens.php
includes/exception/PermissionsError.php
includes/htmlform/HTMLButtonField.php
includes/session/Session.php
includes/session/SessionBackend.php
includes/session/SessionId.php
includes/session/SessionManager.php
includes/session/SessionManagerInterface.php
includes/session/SessionProvider.php
includes/specials/SpecialUserlogin.php
includes/user/LoggedOutEditToken.php
includes/user/User.php