#258: Rename php 'loader' files

Resolves #258.