Make date/time format user configurable; drop 'date_today' config option

thomascube

2011-09-12 1cc9e210f5cb340599062ae9cee15cdc9ebd77a7

 program/js/tiny_mce/utils/validate.js

@@ -32,7 +32,7 @@
   },



   isSize : function(s) {

      return this.test(s, '^[0-9]+(%|in|cm|mm|em|ex|pt|pc|px)?$');

      return this.test(s, '^[0-9.]+(%|in|cm|mm|em|ex|pt|pc|px)?$');

   },



   isId : function(s) {