What encoding is this extended ASCII a part of?

Question

What encoding is this extended ASCII a part of:

I always thought this was CP-1252, but as I was dealing with CP-1252 strings today, I realized that they are different. This is linked from the PHP chr page, but if I output the extended ASCII characters:

for ($i = 128; $i < 256; $i++) echo chr($i);

I get this:

€‚ƒ„…†‡ˆ‰Š‹ŒŽ‘’“”•–—˜™š›œžŸ ¡¢£¤¥¦§¨©ª«¬­®¯°±²³´µ¶·¸¹º»¼½¾¿ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖ×ØÙÚÛÜÝÞßàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ

And if it isn't a supported PHP encoding, then it shouldn't be linked from the PHP website.

Answer 1

It appears to come straight from Code Page 437.