[PHP-DEV] Problems with master.php.net

[Klaus Silveira]

I have noticed that master.php.net has been offline for a few days now,
resulting in a failure to login at the PHP Wiki. Are you guys having this
same issue?