Do not autofold PHP files.