\n";
echo " \n";
if (permission_exists('extension_add')) {
@@ -238,7 +238,7 @@ require_once "resources/paging.php";
echo "".$paging_controls."\n";
}
- echo "
".(($num_rows == 0) ? "
" : null);
+ echo "
".((is_array($extensions)) ? "
" : null);
// check or uncheck all checkboxes
if (sizeof($ext_ids) > 0) {
@@ -252,7 +252,7 @@ require_once "resources/paging.php";
echo "\n";
}
- if ($num_rows > 0) {
+ if (is_array($extensions)) {
// check all checkboxes
key_press('ctrl+a', 'down', 'document', null, null, "check('all');", true);
|