
18.09.2007, 20:30
|
|
Постоянный
Регистрация: 08.04.2007
Сообщений: 853
Провел на форуме: 5812656
Репутация:
1540
|
|
Самое простое это функция basename(). Она извлекает из пути файла его имя. Плюс, не побоюсь этого слова, обрезание расширения, либо удаление точки.
можно ещё и так:
PHP код:
<?
if(is_file("modules/".$_GET['module'])) include("modules/".$_GET['module'];
?>
|
|
|