Lines Matching refs:strip_ns
3645 function strip_ns(x/*:string*/)/*:string*/ { return x.replace(nsregex2, "<$1"); } function
5773 switch(strip_ns(y[0])) {
10211 switch(strip_ns(y[0])) {
10599 switch(strip_ns(y[0])) {
10674 switch(strip_ns(y[0])) {
10740 switch(strip_ns(y[0])) {
10862 switch(strip_ns(y[0])) {
10901 switch(strip_ns(y[0])) {
11905 switch (strip_ns(y[0])) {
12283 switch(strip_ns(y[0])) {
12344 switch(strip_ns(y[0])) {
17245 switch(strip_ns(y[0])) {