Adding PHP docs to doc search