Fixed all stat_file with friends to use the new Stat type for Pike 7.1 compatibility Rev: server/base_server/configuration.pike:1.351 Rev: server/base_server/disk_cache.pike:1.54 Rev: server/base_server/fonts.pike:1.56 Rev: server/base_server/http.pike:1.47 Rev: server/base_server/module_support.pike:1.76 Rev: server/base_server/read_config.pike:1.48 Rev: server/base_server/roxen.pike:1.536 Rev: server/base_server/roxenlib.pike:1.196 Rev: server/base_server/roxenloader.pike:1.193 Rev: server/bin/fixquota.pike:1.2 Rev: server/bin/garbagecollector.pike:1.19 Rev: server/config_interface/standard/inheritinfo.pike:1.13 Rev: server/etc/env.d/java.pike:1.4 Rev: server/etc/modules/Variable.pmod/module.pmod:1.8 Rev: server/etc/roxen_master.pike:1.97 Rev: server/modules/configuration/config_filesystem.pike:1.49 Rev: server/modules/configuration/update.pike:1.17 Rev: server/modules/examples/location.pike:1.2 Rev: server/modules/filesystems/filesystem.pike:1.87 Rev: server/modules/filters/htaccess.pike:1.64 Rev: server/modules/graphics/cimg.pike:1.26 Rev: server/modules/logging/home_logger.pike:1.29 Rev: server/modules/misc/userdb.pike:1.48 Rev: server/modules/scripting/cgi.pike:2.44 Rev: server/modules/scripting/oldcgi.pike:2.6 Rev: server/modules/scripting/servlet.pike:2.12 Rev: server/modules/tags/rxmltags.pike:1.163 Rev: server/more_modules/cvsfs.pike:1.23