repo-settings: read an int for index.version

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

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