[21-Jun-2012 20:35:17] PHP Notice: Undefined property: AuthPlugin::$domain in /www/w/includes/AuthPlugin.php on line 92
Change-Id: I0c470b41881e0fd12d9615f7ac258feeff1a52e4
* someone logs in who can be authenticated externally.
*/
class AuthPlugin {
* someone logs in who can be authenticated externally.
*/
class AuthPlugin {
+
+ /**
+ * @var string
+ */
+ protected $domain;
+
/**
* Check whether there exists a user account with the given name.
* The name will be normalized to MediaWiki's requirements, so
/**
* Check whether there exists a user account with the given name.
* The name will be normalized to MediaWiki's requirements, so
* @return string
*/
public function getDomain() {
* @return string
*/
public function getDomain() {
+ if ( isset( $this->domain ) ) {
return $this->domain;
} else {
return 'invaliddomain';
return $this->domain;
} else {
return 'invaliddomain';