From 370e83bb0dfd0c70de268c93bf07ad5ee0897192 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Fri, 15 Aug 2008 01:29:47 +0200 Subject: Update auf 1.13.0 --- includes/ExternalEdit.php | 3 --- 1 file changed, 3 deletions(-) (limited to 'includes/ExternalEdit.php') diff --git a/includes/ExternalEdit.php b/includes/ExternalEdit.php index f5ce5b9d..1c58f442 100644 --- a/includes/ExternalEdit.php +++ b/includes/ExternalEdit.php @@ -6,8 +6,6 @@ */ /** - * - * * Support for external editors to modify both text and files * in external applications. It works as follows: MediaWiki * sends a meta-file with the MIME type 'application/x-external-editor' @@ -68,4 +66,3 @@ CONTROL; echo $control; } } - -- cgit v1.2.3-54-g00ecf