Rename FuncRandom to FuncRandom.php