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