From f5a8413cf417fb0fc9a7748fb225179f77d4ce85 Mon Sep 17 00:00:00 2001
From: Erik Moeller <erik@users.mediawiki.org>
Date: Thu, 29 Jan 2004 22:36:02 +0000
Subject: [PATCH] bugfix: edit pages are not articles (resulted in a few small
 glitches)

---
 includes/EditPage.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 680b296fa0..fdee8411ce 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -22,6 +22,8 @@ class EditPage {
 		global $wgOut, $wgUser, $wgWhitelistEdit;
 		global $wpTextbox1, $wpSummary, $wpSave, $wpPreview;
 		global $wpMinoredit, $wpEdittime, $wpTextbox2;
+		// this is not an article
+		$wgOut->setArticleFlag(false);
 
 		$fields = array( "wpTextbox1", "wpSummary", "wpTextbox2" );
 		wfCleanFormFields( $fields );
-- 
2.20.1