Bug #2761 ยป index.php.diff
| /usr/local/www/index.php 2013-01-17 11:27:18.000000000 +0000 | ||
|---|---|---|
|
while (false !== ($filename = readdir($dirhandle))) {
|
||
|
$periodpos = strpos($filename, ".");
|
||
|
if ($periodpos == 0) // Ignore dot files
|
||
|
continue;
|
||
|
if (substr($filename, -3, 3) != "php") // Ignore files not ending in php
|
||
|
continue;
|
||
|
$widgetname = substr($filename, 0, $periodpos);
|
||
|
$widgetnames[] = $widgetname;
|
||
|
if ($widgetname != "system_information")
|
||