New function for ExternalUser to get the local User corresponding to the external...
authorHappy-melon <happy-melon@users.mediawiki.org>
Sun, 20 Sep 2009 18:53:17 +0000 (18:53 +0000)
committerHappy-melon <happy-melon@users.mediawiki.org>
Sun, 20 Sep 2009 18:53:17 +0000 (18:53 +0000)
commit7db738a09e4b3f4c2395fbd913889bc5f514a0f3
treef5da3f56983a246221ec016ccde4db2e8e57a915
parent7732401c9ba6c0fc83a314d2c65720ebf00bfcd5
New function for ExternalUser to get the local User corresponding to the external one.
includes/ExternalUser.php