Updating version numbers for a v10 release
Replacing User Agent php print with js print