Project

General

Profile

Bug #2761 ยป index.php.diff

Patch to fix widget detection behaviour - John Bayly, 01/17/2013 05:31 AM

View differences:

/usr/local/www/index.php 2013-01-17 11:27:18.000000000 +0000
97 97

  
98 98
while (false !== ($filename = readdir($dirhandle))) {
99 99
	$periodpos = strpos($filename, ".");
100
	if ($periodpos == 0)	// Ignore dot files
101
		continue;
102
	if (substr($filename, -3, 3) != "php")	// Ignore files not ending in php
103
		continue;
100 104
	$widgetname = substr($filename, 0, $periodpos);
101 105
	$widgetnames[] = $widgetname;
102 106
	if ($widgetname != "system_information")
    (1-1/1)