added PHP instructions