Execute Windows Batch File from php

If you ever needed to execute a batch file from php, you run it as :

system ("cmd /c C:/path-to/file.bat");