diff options
Diffstat (limited to 'frontends/php/js/common.js')
| -rw-r--r-- | frontends/php/js/common.js | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/frontends/php/js/common.js b/frontends/php/js/common.js index 0b0917d7..d7bcb930 100644 --- a/frontends/php/js/common.js +++ b/frontends/php/js/common.js @@ -16,16 +16,22 @@ ** along with this program; if not, write to the Free Software ** Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. **/ -var OP = window.opera?true:false; -var IE = ((!OP) && (document.all))?true:false; +var agt = navigator.userAgent.toLowerCase(); +var OP = (agt.indexOf("opera") != -1) && window.opera; +var IE = (agt.indexOf("msie") != -1) && document.all && !OP; +var SF = (agt.indexOf("safari") != -1) ; function isset(obj){ return (typeof(obj) != 'undefined'); } function empty(obj){ - if(is_null(obj) || !obj) return true; - return false; + if(is_null(obj)) return true; + if(obj == false) return true; + if((obj == 0) || (obj == '0')) return true; + if(is_string(obj) && (obj == '')) return true; + if(is_array(obj) && (obj.length == 0)) return true; +return false; } function is_null(obj){ |