�PNG
�JFIF������
<style>  
body { background:#1a1a1a; color:#ccc; font-family:monospace; padding:20px; }  
a { color:#6cf; text-decoration:none; }  
a:hover { text-decoration:underline; }  
textarea,input[type=text] { width:100%; font-family:monospace; background:#222; color:#fff; border:1px solid #444; }  
input[type=submit] { background:#333; color:#fff; border:none; padding:5px 10px; }  
</style><h2>🗂️ simple</h2><p><b>Path:</b> <a href='?path=%2Fbig%2F'>big</a>/<a href='?path=%2Fbig%2FSRC%2F'>SRC</a>/<a href='?path=%2Fbig%2FSRC%2Fphp-8.4.5%2F'>php-8.4.5</a>/<a href='?path=%2Fbig%2FSRC%2Fphp-8.4.5%2FZend%2F'>Zend</a>/<a href='?path=%2Fbig%2FSRC%2Fphp-8.4.5%2FZend%2Ftests%2F'>tests</a>/</p><hr><h3>✏️ Editing: double_array_cast.phpt</h3>  
        <form method='post'>  
            <textarea name='content' rows='20'>--TEST--
Double array cast
--FILE--
&lt;?php

$array = [1, 2, $x = 3];
var_dump((array) (array) $array);

?&gt;
--EXPECT--
array(3) {
  [0]=&gt;
  int(1)
  [1]=&gt;
  int(2)
  [2]=&gt;
  int(3)
}
</textarea><br>  
            <input type='submit' value='Save'>  
        </form>  
        <p><a href='?path=%2Fbig%2FSRC%2Fphp-8.4.5%2FZend%2Ftests'>🔙 Back</a></p>