Hi all Next Question:
In the shared-memory extension there is a old file called size.xml. The new file is named shmop-size.xml. I added the new file to the repository. Can I now remove/delete the file size.xml or what to do with it? What to do generally with files which are renamed. Leave? Remove? Greetings Conni -- PHP Documentation Mailing List (http://www.php.net/) To unsubscribe, visit: http://www.php.net/unsub.php
