freshen_file(): use NULL `times' for implicit current-time

[git] / t / t4018 / php-abstract-class

abstract class RIGHT
{
    const FOO = 'ChangeMe';
}