1) add new preference: use external diffs (uses same framework as external
[lhc/web/wiklou.git] / includes / ExternalEdit.php
1 <?php
2 /**
3 * License: Public domain
4 *
5 * @author Erik Moeller <moeller@scireview.de>
6 * @package MediaWiki
7 */
8
9 /**
10 *
11 * @package MediaWiki
12 *
13 * Support for external editors to modify both text and files
14 * in external applications. It works as follows: MediaWiki
15 * sends a meta-file with the MIME type 'application/x-external-editor'
16 * to the client. The user has to associate that MIME type with
17 * a helper application (a reference implementation in Perl
18 * can be found in extensions/ee), which will launch the editor,
19 * and save the modified data back to the server.
20 *
21 */
22
23 class ExternalEdit {
24
25 function ExternalEdit ( $article, $mode ) {
26 global $wgInputEncoding;
27 $this->mArticle =& $article;
28 $this->mTitle =& $article->mTitle;
29 $this->mCharset = $wgInputEncoding;
30 $this->mMode = $mode;
31 }
32
33 function edit() {
34 global $wgUser, $wgOut, $wgScript, $wgScriptPath, $wgServer;
35 $wgOut->disable();
36 $name=$this->mTitle->getText();
37 $pos=strrpos($name,".")+1;
38 header ( "Content-type: application/x-external-editor; charset=".$this->mCharset );
39
40 # $type can be "Edit text", "Edit file" or "Diff text" at the moment
41 # See the protocol specifications at [[m:Help:External editors/Tech]] for
42 # details.
43 if(!isset($this->mMode)) {
44 $type="Edit text";
45 $url=$this->mTitle->getFullURL("action=edit&internaledit=true");
46 # *.wiki file extension is used by some editors for syntax
47 # highlighting, so we follow that convention
48 $extension="wiki";
49 } elseif($this->mMode=="file") {
50 $type="Edit file";
51 $image = Image::newFromTitle( $this->mTitle );
52 $url = $wgServer . $image->getURL();
53 $extension=substr($name, $pos);
54 }
55 $control = <<<CONTROL
56 [Process]
57 Type=$type
58 Engine=MediaWiki
59 Script={$wgServer}{$wgScript}
60 Server={$wgServer}
61 Path={$wgScriptPath}
62
63 [File]
64 Extension=$extension
65 URL=$url
66 CONTROL;
67 echo $control;
68 }
69 }
70 ?>