js files used in php example