Added GetExtension to File plugin
Added GetFileName and GetFileNameWithoutExtension