( lines )
| 78 | ] |
| 79 | |
| 80 | def convertNamespaces( lines ) : |
| 81 | |
| 82 | newLines = [] |
| 83 | for line in lines : |
| 84 | newLine = line |
| 85 | if not line.strip().startswith( "/" ) : |
| 86 | for old, new in replacements : |
| 87 | newLine = old.sub( new, newLine ) |
| 88 | newLines.append( newLine ) |
| 89 | |
| 90 | return newLines |
| 91 | |
| 92 | def convertUsingNamespace( lines ) : |
| 93 |