| Index: trunk/extensions/CentralAuth/CentralAuthUser.php |
| — | — | @@ -13,6 +13,7 @@ |
| 14 | 14 | class CentralAuthUser extends AuthPluginUser { |
| 15 | 15 | /** |
| 16 | 16 | * The username of the current user. |
| | 17 | + * @var string |
| 17 | 18 | */ |
| 18 | 19 | /*private*/ var $mName; |
| 19 | 20 | /*private*/ var $mStateDirty = false; |
| — | — | @@ -1799,10 +1800,10 @@ |
| 1800 | 1801 | |
| 1801 | 1802 | self::deleteSession(); |
| 1802 | 1803 | } |
| 1803 | | - |
| | 1804 | + |
| 1804 | 1805 | /** |
| 1805 | 1806 | * Get the domain parameter for setting a global cookie. |
| 1806 | | - * This allows other extensions to easily set global cookies without directly relying on |
| | 1807 | + * This allows other extensions to easily set global cookies without directly relying on |
| 1807 | 1808 | * $wgCentralAuthCookieDomain (in case CentralAuth's implementation changes at some point). |
| 1808 | 1809 | */ |
| 1809 | 1810 | static function getCookieDomain() { |