[Mediawiki-l] Name and Password from PHP_AUTH (follow-up to: Where is the "are they logged in" code located?)