From c4ab1c9bf37f46e8e151af60f907c36aac196289 Mon Sep 17 00:00:00 2001 From: Jens Frank Date: Sat, 17 Jan 2004 15:18:47 +0000 Subject: [PATCH] Copy edit icons to upload directory on update --- update.php | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/update.php b/update.php index 477de0f752..da1ee7019e 100644 --- a/update.php +++ b/update.php @@ -82,6 +82,18 @@ function do_update_files() { copydirectory( "./stylesheets", $wgStyleSheetDirectory ); copyfile( "./images", "wiki.png", $wgUploadDirectory ); + copyfile( "./images", "button_bold.gif", $wgUploadDirectory ); + copyfile( "./images", "button_extlink.gif", $wgUploadDirectory ); + copyfile( "./images", "button_headline.gif", $wgUploadDirectory ); + copyfile( "./images", "button_hr.gif", $wgUploadDirectory ); + copyfile( "./images", "button_image.gif", $wgUploadDirectory ); + copyfile( "./images", "button_italic.gif", $wgUploadDirectory ); + copyfile( "./images", "button_link.gif", $wgUploadDirectory ); + copyfile( "./images", "button_math.gif", $wgUploadDirectory ); + copyfile( "./images", "button_media.gif", $wgUploadDirectory ); + copyfile( "./images", "button_sig.gif", $wgUploadDirectory ); + copyfile( "./images", "button_template.gif", $wgUploadDirectory ); + copyfile( "./languages", "Language.php", $IP ); copyfile( "./languages", "Language" . ucfirst( $wgLanguageCode ) . ".php", $IP ); -- 2.20.1