php ini appending