PHP who magically include javascript file in your html pages