<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">2014-08-19 8:00 GMT+02:00 Michal Čihař <span dir="ltr"><<a href="mailto:michal@cihar.com" target="_blank">michal@cihar.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">

Hi<br>
<br>
Dne Mon, 18 Aug 2014 21:23:56 +0200<br>
Hugues Peccatte <<a href="mailto:hugues.peccatte@gmail.com">hugues.peccatte@gmail.com</a>> napsal(a):<br>
<div><div class="h5"><br>
> I'm currently experiencing an issue with hhvm, see<br>
> <a href="https://travis-ci.org/phpmyadmin/phpmyadmin/builds/32882088" target="_blank">https://travis-ci.org/phpmyadmin/phpmyadmin/builds/32882088</a><br>
> As you can see, all unit tests are ok, except for tests of stristr with<br>
> hhvm.<br>
> It seems that the hhvm version used on Travis is "HipHop VM 3.2.0".<br>
><br>
> Does anyone have hhvm (this version or another) please, could run phpunit<br>
> on test/libraries/PMA_String_Compare_test.php and give me a feedback?<br>
<br>
</div></div>It indeed does not work, I've reported it here:<br>
<br>
<a href="https://github.com/facebook/hhvm/issues/3520" target="_blank">https://github.com/facebook/hhvm/issues/3520</a><br>
<br>
PS: We don't seem to use this functionality in our code, so maybe<br>
support for this could be removed from PMA_String?<br>
<span class=""><font color="#888888"><br>
--<br>
        Michal Čihař | <a href="http://cihar.com" target="_blank">http://cihar.com</a> | <a href="http://phpmyadmin.net" target="_blank">http://phpmyadmin.net</a></font></span></blockquote><div><br></div><div>Hi,</div><div>

<br></div><div>We're using it, see <a href="https://github.com/phpmyadmin/phpmyadmin/blob/master/libraries/DisplayResults.class.php#L3893">https://github.com/phpmyadmin/phpmyadmin/blob/master/libraries/DisplayResults.class.php#L3893</a> (many uses in this file).</div>

<div>But, as Marc suggested, we may remove it from PMA_String for now.</div><div><br></div><div>Hugues. </div></div></div></div>