<?php $x = array(); $x[1.2] = 1; var_dump(gettype(key($x))); var_dump($x[1]);
You have javascript disabled. You will not be able to edit any code.