New getter/setter syntax.

exec/load/birthdate.js

@@ -3,7 +3,7 @@
  * which is a JavaScript Date object representing the birthdate.
  */
 
-User.prototype.birthDate getter=function() {
+User.prototype.__defineGetter("birthDate", function() {
 	var mfirst=system.datestr(1728000).substr(0,2)=='01';
 	var match;
 	var m,d,y;
@@ -17,4 +17,4 @@ User.prototype.birthDate getter=function() {
 	if(this.age + y < (new Date()).getYear()-2)
 		y+=100;
 	return new Date(y,m,d);
-};
+});

exec/load/newsutil.js

@@ -168,8 +168,8 @@ function parse_news_header(hdr, line)
 				hdr.field_list=new Array();
 			hdr[line.toLowerCase()]=
 				{	type: RFC822HEADER, 
-					data getter: function() { return(this.hdr_name+': '+this.hdr_data); },
-					data setter: function(v) { 
+					get data() { return(this.hdr_name+': '+this.hdr_data); },
+					set data(v) { 
 						var m=v.split(/:\s*/,2);
 						if(m.length==1)
 							this.hdr_data=v;