#283: Include PHP filename in JSON array

Resolves #283.