The tool_mobile_get_plugins_supporting_mobile generated an incorrect
fileurl on IIS. The /mobile/filename.zip part was generated as
\mobile\filename.zip, this failed the PARAM_URL check.
This change stops the use of OS specific directory separators and uses
the linux/web separator. PHP file functions recognise this properly.