Insert conversion to string in string.replace.
authoryangguo@chromium.org <yangguo@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Wed, 27 Feb 2013 15:12:30 +0000 (15:12 +0000)
committeryangguo@chromium.org <yangguo@chromium.org@ce2b1a6d-e550-0410-aec6-3dcde31c8c00>
Wed, 27 Feb 2013 15:12:30 +0000 (15:12 +0000)
commit6e64bdfc6e650214d14fe133ac270a9e6d229e59
treed0acd15d01311eb26f7ec5a132e3890ccf26a468
parentbfaf38d2fd5bd8d5ebb5e7badc7b4658b40d0ed2
Insert conversion to string in string.replace.
(missing since r13761)

R=ulan@chromium.org
BUG=

Review URL: https://chromiumcodereview.appspot.com/12316158

git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@13766 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
src/string.js
test/mjsunit/string-replace.js