| 1234567891011121314151617 |
- <?php
- if (!class_exists('xml')) {
- class xml {
- /**
- * Escapes xml special characters to html entities and sanitze switch special chars.
- */
- static function sanitize($string) {
- $string = preg_replace('/\$\{[^}]+\}/', '', $string);
- return htmlspecialchars($string, ENT_XML1);
- }
- }
- }
- ?>
|
