pfSense

		if($g['platform'] == "pfSense" || $g['platform'] == "nanobsd") {

			## If the user has logged into webGUI quickly while the system is booting then do not redirect them to

			## the package reinstall page. That is about to be done by the boot script anyway.

			if (!platform_booting()) {

				header('Location: pkg_mgr_install.php?mode=reinstallall');

				exit;

$pgtitle = array(gettext("Status: Dashboard"));

include("head.inc");

/* Print package server mismatch warning. See https://redmine.pfsense.org/issues/484 */

if (!verify_all_package_servers())

	print_info_box(package_server_mismatch_message());

<?php

}

//build list of javascript include files

foreach (glob('widgets/javascript/*.js') as $file)

	echo '<script src="'.$file.'"></script>';