Add comment about PHP extension