bugfix: edit pages are not articles (resulted in a few small glitches)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 680b296..fdee841 100644 (file)
--- 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 );