no message

zhaojs

2023-07-20 0e1007c80a854d4f188288b0cb42cb0d966d52be

1
2
3
4
5
6
7
8
9
10
11
<?php
 
if (\PHP_VERSION_ID < 80000) {
    interface Stringable
    {
        /**
         * @return string
         */
        public function __toString();
    }
}