PHP source now available on GitHub

The PHP Core source code has migrated to git and is available on GitHub. Last fall the PHP core team voted to pick a distributed version control system and git…