is `String.prototype.substr` deprecated?

[parallels999]

https://developer.mozilla.org/es/docs/Web/JavaScript/Reference/Global_Objects/String/substr

jqGrid/js/grid.base.js

Lines 137 to 138 in 9c96dfb

 if (js.substr(0,9) === "while(1);") { js = js.substr(9); } 
 if (js.substr(0,2) === "/*") { js = js.substr(2,js.length-4); }