I need to change this array:
$array = [
        [0] => [
            'id' => '100'
        ],
        [1] => [
            'id' => '200'
        ],
        [2] => [
            'id' => '300'
        ]
    ];
Into this:
$array2 = [100, 200, 300];
A long time ago I found a built-in PHP function which could do this for me. But i can't for the life of me remember which one it was. Of course I could do it manually, but it would be easier and more readable if I could use a builtin PHP function