phpinfo: Update PHP logo to php.net SVG logo

[Ayesh]

https://php.net now has a shiny SVG logo that looks crisp and modern, but the logo embeded in the phpinfo() HTML output is still the old 121px wide low-fidelty PNG.

This updates the logo to the SVG logo, embeded in an <svg> tag.

For the Easter egg logo, the elephant PNG is stripped from the old easter egg PNG file, and placed with CSS positioning so it sits on top of the new SVG logo, which renders it as if the elephant is on top of the PHP logo just as before.

For the Easter egg logo, I extracted it from this source, resized it to 121px (to match the same size as before) with #9999cc matte, base64 encoded, and add a bit of CSS so the ElePHPant looks expanded from the container. The new ElePHPant has the full legs and the tail. Thank you @mvorisek for the links and the mockup.

Further, the header text color is changed to white to match the php.net styling.

---

Size comparison:

	Before	After
PHP Logo	5,438 bytes PNG base64	1,388 bytes SVG
PHP Easter egg logo	8,986 bytes PNG base64	PHP SVG logo + 5,806 PNG base64 overlay

---

Screenshots:

	Before	After
PHP Logo
PHP Easter egg logo

[kallesommernielsen]

I think this is a much needed update, and way overdue. Should be fine for master

Kudos for fixing the alignment on the egg logo ;-)

[Ayesh]

Yay, thank you!

So happy you noticed the alignment change. I don't think we have the original ElePHPant PNG to work with, so I spent an embarrassing amount of time magic erasing the old logo out of the egg logo.

[mvorisek]

The original elephant looks much bigger and more noticable. Elephants are large and should stay large, elephant should never look like a mouse :)

The original image in high res: https://web.archive.org/web/20240906035322/https://d1zviajkun9gxg.cloudfront.net/user/prod/2020/12/14/fastpages-98523a05-af38-4eab-bedf-dc660e5519a1.jpeg

[Ayesh]

@mvorisek, thank you for the links. I cut out the ElePHPant, and changed the CSS a bit so it looks popping out of the header bar. Thank you for the links and the mockup.

From the previous commit, this change increased the base64 encoded PNG size by ~600 bytes, but it is still significantly smaller than the current egg logo; 8,986 bytes -> 5,806 bytes.