Add a version number in run.php
Authored by: tchule@hotmail.com 2013-02-23
Parent: [r182]
Child: [r184]