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.