ie console log shiv thing

gistfile1.js

<script type="text/javascript">
    		<?php /*
    		       * Protect window.console method calls, e.g. console is not defined on IE
    		       * unless dev tools are open, and IE doesn't define console.debug
    		       * @see http://stackoverflow.com/a/13817235/888986
    		       */ ?>
    		(function() {
    		  if (!window.console) {
    		    window.console = {};
    		  }
    		  var m = [
    		    "log", "info", "warn", "error", "debug", "trace", "dir", "group",
    		    "groupCollapsed", "groupEnd", "time", "timeEnd", "profile", "profileEnd",
    		    "dirxml", "assert", "count", "markTimeline", "timeStamp", "clear"
    		  ];
    		  for (var i = 0; i < m.length; i++) {
    		    if (!window.console[m[i]]) {
    		      window.console[m[i]] = function() {};
    		    }
    		  }
    		})();
</script>