Arrays in PHP are a bit special...

Change-Id: Ic1c16e297f68417ba4a12c109e3a6e83974a82d5