1--TEST--
2Zend Multibyte and ShiftJIS
3--EXTENSIONS--
4mbstring
5--INI--
6zend.multibyte=1
7internal_encoding=SJIS
8--FILE--
9<?php
10declare(encoding='Shift_JIS');
11$s = "�\"; // 0x95+0x5c in script, not somewhere else "
12printf("%x:%x", ord($s[0]), ord($s[1]));
13?>
14--EXPECT--
1595:5c
16
