Add missing Date.toDateString extern to es3.js
Add missing Date.toDateString extern to es3.js

git-svn-id: 818616af560c21f974e3119d89e3310384da871a@607 b0f006be-c8cd-11de-a2e8-8d36a3108c74

arcadoss/js-invulnerable,arcadoss/js-invulnerable