close
systems

PHP Systems

PHP is supported by a number of machines provided by a number of generous sponsors. This is a basic inventory of those machines and what services they provide.

This most up-to-date information is available in the repository that maintains the infrastructure: https://github.com/php/infrastructure/tree/main/docs

SSH jump hosts

People with SSH accounts on any machines must use one of our jump hosts to connect to them:

https://github.com/php/infrastructure/blob/main/docs/ServerAccess.rst#logging-into-servers

Reference: https://en.wikibooks.org/wiki/OpenSSH/Cookbook/Proxies_and_Jump_Hosts

Old Infra and Jump Hosts

People with SSH accounts on these old above machines must use one of our jump hosts to connect to them. Add this to your ~/.ssh/config: 

  Host git.php.net americas.jump.php.net europe.jump.php.net
      ProxyJump none
      Port 9022
  
  Host *.php.net
      ProxyJump <USERID>@europe.jump.php.net:9022
      User <USERID>

Replace americas with europe depending on where you are. The jump hosts require 2FA using Google Authenticator.

2FA setup instructions

See https://github.com/php/infrastructure/blob/main/docs/ServerAccess.rst#creating-google-authenticator-files, and then request access (if needed) through https://github.com/php/infrastructure/issues/new?template=request-release-manager-access.yml

Machine Status

We use OhDear (https://ohdear.app/) for monitoring our machine status. A public page is available at https://status.php.net/

Social Networks

* Social Networks

IRC/Discord

* IRC and Discord

History

systems.txt · Last modified: by derick

Page Tools

Image


Table of Contents