$_FILE的问题
$_FILE（）这种格式到底是系统函数还是预定义变量，我看php手册是预定义变量，但是有的课程讲师讲的是系统函数，谁为正？