Неустранимая ошибка PHP: класс не найден, но включен

HTML / приложение / RandomCode.php

    <?php

namespace App;

use \Carbon\Carbon;class RandomCode
{
public function random_str($length, $keyspace)
{
$str = '';
$max = mb_strlen($keyspace, '8bit') - 1;
for ($i = 0; $i < $length; ++$i) {
$str .= $keyspace[random_int(0, $max)];
}
return $str;
}
}

HTML / государственный / index.php

include($_SERVER['DOCUMENT_ROOT'].'/../app/RandomCode.php');
$code = new RandomCode();
$code->random_str(10, '0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ');

Я думаю, что все правильно, но я получаю эту ошибку: PHP Fatal error: Class 'RandomCode' not found in /var/www/html/public/index.php on line 27

Я пробовал с var_dump(file_exists($_SERVER['DOCUMENT_ROOT'].'/../app/RandomCode.php')); и я получил true

Что я делаю не так?