--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/WebCore/wml/WMLPrevElement.cpp	Fri Sep 17 09:02:29 2010 +0300
@@ -0,0 +1,67 @@
+/**
+ * Copyright (C) 2008 Torch Mobile Inc. All rights reserved. (http://www.torchmobile.com/)
+ *
+ * This library is free software; you can redistribute it and/or
+ * modify it under the terms of the GNU Library General Public
+ * License as published by the Free Software Foundation; either
+ * version 2 of the License, or (at your option) any later version.
+ *
+ * This library is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+ * Library General Public License for more details.
+ *
+ * You should have received a copy of the GNU Library General Public License
+ * along with this library; see the file COPYING.LIB.  If not, write to
+ * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
+ * Boston, MA 02110-1301, USA.
+ *
+ */
+
+#include "config.h"
+
+#if ENABLE(WML)
+#include "WMLPrevElement.h"
+
+#include "Page.h"
+#include "WMLCardElement.h"
+#include "WMLDocument.h"
+#include "WMLPageState.h"
+#include "WMLTimerElement.h"
+
+namespace WebCore {
+
+WMLPrevElement::WMLPrevElement(const QualifiedName& tagName, Document* doc)
+    : WMLTaskElement(tagName, doc)
+{
+}
+
+WMLPrevElement::~WMLPrevElement()
+{
+}
+
+void WMLPrevElement::executeTask()
+{
+    ASSERT(document()->isWMLDocument());
+    WMLDocument* document = static_cast<WMLDocument*>(this->document());
+
+    WMLPageState* pageState = wmlPageStateForDocument(document);
+    if (!pageState)
+        return;
+
+    WMLCardElement* card = document->activeCard();
+    if (!card)
+        return;
+
+    storeVariableState(pageState);
+
+    // Stop the timer of the current card if it is active
+    if (WMLTimerElement* eventTimer = card->eventTimer())
+        eventTimer->stop();
+
+    pageState->page()->goBack();
+}
+
+}
+
+#endif