Ich habe das folgende Array in PHP:

Array
(
    [0] => Array
        (
            [id] => 0
            [name] => name1
            [short_name] => n1
        )

    [2] => Array
        (
            [id] => 2
            [name] => name2
            [short_name] => n2
        )
)

Ich möchte JSON als JSON-Array codieren und eine Zeichenfolge wie die folgende erzeugen:

[  
    {  
        "id":0,
        "name":"name1",
        "short_name":"n1"
    },
    {  
        "id":2,
        "name":"name2",
        "short_name":"n2"
    }
]

Aber wenn ich anrufejson_encode Auf diesem Array erhalte ich Folgendes:

{  
    "0":{  
        "id":0,
        "name":"name1",
        "short_name":"n1"
    },
    "2":{  
        "id":2,
        "name":"name2",
        "short_name":"n2"
    }
}

Das ist ein Objekt anstelle eines Arrays.

Wie bekomme ichjson_encode kann ich mein Array stattdessen als Array kodieren?