Codice PHP:
$chiavi = array_keys($mioarray);