Added some PHP doc