Silenced this, $token["pos"] was undefined when parsing '''hi'''''hi'' which created...
authorGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 13 May 2004 12:08:02 +0000 (12:08 +0000)
committerGabriel Wicke <gwicke@users.mediawiki.org>
Thu, 13 May 2004 12:08:02 +0000 (12:08 +0000)
includes/Parser.php

index 79aa4e7..e488b50 100644 (file)
@@ -729,7 +729,7 @@ class Parser
                } elseif ( $state["strong"] !== false ) {
                        $s .= "</strong><em>";
                        $state["strong"] = FALSE;
-                       $state["em"] = $token["pos"];
+                       $state["em"] = @$token["pos"];
                } else { # not $em and not $strong
                        $s .= "<strong><em>";
                        $state["strong"] = $state["em"] = isset($token["pos"]) ? $token["pos"] : true;