Index: Language.php
===================================================================
RCS file: /cvsroot/wikipedia/phpwiki/newcodebase/Language.php,v
retrieving revision 1.144
diff -r1.144 Language.php
43c43,44
< 	"editwidth" => "Edit box has full width"
---
> 	"editwidth" => "Edit box has full width",
> 	"editondblclick" => "Edit pages on double click (JavaScript)"
Index: LanguageDe.php
===================================================================
RCS file: /cvsroot/wikipedia/phpwiki/newcodebase/LanguageDe.php,v
retrieving revision 1.38
diff -r1.38 LanguageDe.php
40c40,41
< 	"editwidth" => "Text-Eingabefeld mit voller Breite"
---
> 	"editwidth" => "Text-Eingabefeld mit voller Breite",
> 	"editondblclick" => "Seiten mit Doppelklick bearbeiten (JavaScript)"
Index: Skin.php
===================================================================
RCS file: /cvsroot/wikipedia/phpwiki/newcodebase/Skin.php,v
retrieving revision 1.111
diff -r1.111 Skin.php
85c85
< 		global $wgUser, $wgTitle, $wgNamespaceBackgrounds;
---
> 		global $wgUser, $wgTitle, $wgNamespaceBackgrounds, $wgOut, $oldid, $redirect, $diff;
90a91,104
> 		if($wgOut->isArticle() && $wgUser->getOption("editondblclick") ) {
> 
>                         $n = $wgTitle->getPrefixedText();
>                         $t = wfMsg( "editthispage" );
>                         $oid = $red = "";
>                         if ( $redirect ) { $red = "&redirect={$redirect}"; }
>                         if ( $oldid && ! isset( $diff ) ) {
>                                 $oid = "&oldid={$oldid}";
>                         }
> 			$s = wfLocalUrlE($n,"action=edit{$oid}{$red}");
> 			$s = "document.location = \"" .$s ."\";";
> 			$a += array ("ondblclick" => $s);
> 
> 		}