I need this C# code converted to php code for a project i'm working on. It's a small, single file. The input is a player ID, which needs to be a variable that can be changed. The output is a guid.
Here's what a typical player ID will look like: 76561198103893709
And this is what it needs to be after it's been processed: b0f92972a5581575b338f1571a49342c
Here's another example of an input: 76561198094602825
And the proper output: 03fb89a53d23708eb8ecc0e4908374d2