Remove old file
Move php.ini (for php 5.4.0) related settings into [documentation]
Remove files not needed in public sources