Correction to the rights for the ports functions on devices.php