PHP source now available on GitHub