PHP: add file naming convention.