[wp-testers] Re: Editing Plugin files in 2.8

Silverstein, Jesse Jesse.Silverstein at xerox.com
Fri Apr 3 13:45:09 GMT 2009


I've seen a number of plugins that have either .inc or .include files in their sources, so we may want to ... include the various  ".include"s in our $include...


-----Original Message-----
From: wp-testers-bounces at lists.automattic.com [mailto:wp-testers-bounces at lists.automattic.com] On Behalf Of Ibrahim A. Mohamed
Sent: Friday, April 03, 2009 8:24 AM
To: wp-testers at lists.automattic.com
Subject: [wp-testers] Re: Editing Plugin files in 2.8

I love Peter's idea on Silverstein solution, we can do it this way:
$include = array("php", "txt", "css", "html");
instead of
$exclude = array("gif", "jpg", "png", "bmp", "swf", "flv", "mp3", "wav" /*
others */);

and change: if( false !== array_search($ext, $exclude)) continue; ?>

to if( false === array_search($ext, $include)) continue; ?>

Thanks in Advance!

On Fri, Apr 3, 2009 at 3:50 AM, Ibrahim A. Mohamed <bingorabbit at gmail.com>wrote:

> Dear all,
>
> In 2.8, a new feature added to the Plugin editor in which you can edit any
> file, not the plugin's file only. A problem can be found, especially with
> plugins that has pictures included like akismet that you can edit these
> files, which is not logical, why should I edit a picture file in an editor?
> :)
>
> So, I think we can remove this by adding some rules for files that can be
> editted, or files that don't need to be editted like image files this might
> solve the problem. For example, for Akismet, in wp-admin/plugin-editor.php
> in line 164 where it says:
>
> <?php foreach($plugin_files as $plugin_file) : ?>
>> <li<?php echo $file == $plugin_file ? ' class="highlight"' : ''; ?>><a
>> href="plugin-editor.php?file=<?php echo $plugin_file; ?>&plugin=<?php echo
>> $plugin; ?>"><?php echo $plugin_file ?></a></li>
>> <?php endforeach; ?>
>>
>
> We can make it:
>
> <?php foreach($plugin_files as $plugin_file) :
>> // Get the extension of the file.
>>     $ext = substr($plugin_file, strpos($plugin_file, '.') + 1);
>> // Extensions to be eliminated
>>     if($ext != 'gif' && $ext != 'jpg') : ?>
>>         <li<?php echo $file == $plugin_file ? ' class="highlight"' : '';
>> ?>><a href="plugin-editor.php?file=<?php echo $plugin_file; ?>&plugin=<?php
>> echo $plugin; ?>"><?php echo $plugin_file ?></a></li>
>>     <?php endif; ?>
>> <?php endforeach; ?>
>>
>
> This actually solves it for gif file and jpg one.
>
> Thanks in Advance!
>
> --
> Regards,
> Ibrahim Abdel Fattah Mohamed
> Web Developer
> Twitter: @bingorabbit
> e-mail: bingorabbit at gmail.com
> Personal bLOG: http://bingorabbit.com/
>



-- 
Regards,
Ibrahim Abdel Fattah Mohamed
Web Developer
Twitter: @bingorabbit
e-mail: bingorabbit at gmail.com
Personal bLOG: http://bingorabbit.com/
_______________________________________________
wp-testers mailing list
wp-testers at lists.automattic.com
http://lists.automattic.com/mailman/listinfo/wp-testers

No virus found in this incoming message.
Checked by AVG - www.avg.com 
Version: 8.0.238 / Virus Database: 270.11.40/2039 - Release Date: 04/03/09 06:19:00


More information about the wp-testers mailing list