equal
deleted
inserted
replaced
1833 { |
1833 { |
1834 // Random seed for substitution |
1834 // Random seed for substitution |
1835 $rand_seed = md5( sha1(microtime()) . mt_rand() ); |
1835 $rand_seed = md5( sha1(microtime()) . mt_rand() ); |
1836 |
1836 |
1837 // We need MediaWiki |
1837 // We need MediaWiki |
1838 require_once(ENANO_ROOT . '/includes/wikiengine/Tables.php'); |
1838 require_once(ENANO_ROOT . '/includes/wikiengine/TagSanitizer.php'); |
1839 |
1839 |
1840 // Strip out comments that are already escaped |
1840 // Strip out comments that are already escaped |
1841 preg_match_all('/<!--(.*?)-->/', $html, $comment_match); |
1841 preg_match_all('/<!--(.*?)-->/', $html, $comment_match); |
1842 $i = 0; |
1842 $i = 0; |
1843 foreach ( $comment_match[0] as $comment ) |
1843 foreach ( $comment_match[0] as $comment ) |