View source in read-only message when db is locked

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 7f430d6..f85a424 100644 (file)
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -42,7 +42,7 @@ class EditPage {
                        if( isset( $wpSave ) or isset( $wpPreview ) ) {
                                $this->editForm( "preview" );
                        } else {
-                               $wgOut->readOnlyPage();
+                               $wgOut->readOnlyPage( $this->mArticle->getContent() );
                        }
                        return;
                }

diff --git a/includes/OutputPage.php b/includes/OutputPage.php
index 849fb84..f43d8d4 100644 (file)
--- a/includes/OutputPage.php
+++ b/includes/OutputPage.php
@@ -488,7 +488,7 @@ class OutputPage {
                exit();
        }
 
-       function readOnlyPage()
+       function readOnlyPage( $source = "" )
        {
                global $wgUser, $wgReadOnlyFile;
 
@@ -498,6 +498,14 @@ class OutputPage {
 
                $reason = implode( "", file( $wgReadOnlyFile ) );
                $text = str_replace( "$1", $reason, wfMsg( "readonlytext" ) );
+               
+               if($source) {
+                       $rows = $wgUser->getOption( "rows" );
+                       $cols = $wgUser->getOption( "cols" );
+                       $text .= "</p>\n<textarea cols='$cols' rows='$rows' readonly>" .
+                               htmlspecialchars( $source ) . "\n</textarea>";
+               }
+               
                $this->addHTML( $text );
                $this->returnToMain( false );
        }