adds php document plugin