php stripos 返回不正确

<?php

if (stripos('int', 'int(10)') !== false) {
    echo 'int';
} else {
    echo 'other';
}

是我自己弄错了，看手册烟花了，不好意思

---

stripos('int(10)', 'int')