filerepo/backend: PHP hinting