Значение переменной = имя файла Дан файл file12345.php. В нем содержится некая переменная $file. Подскажите, как присвоить этой переменной значение имени файла, в котором она находится.