original_string: public function is_installed_and_upgraded() {
          if (!$this->rootdir) {
              return false;
          }
          if ($this->versiondb === null and $this->versiondisk === null) {
              // There is no version.php or version info inside it.
              return false;
          }
  
          return ((float)$this->versiondb === (float)$this->versiondisk);
      }
code: public function is_installed_and_upgraded() {
          if (!$this->rootdir) {
              return false;
          }
          if ($this->versiondb === null and $this->versiondisk === null) {
              // There is no version.php or version info inside it.
              return false;
          }
  
          return ((float)$this->versiondb === (float)$this->versiondisk);
      }
code_tokens: public function is_installed_and_upgraded ( ) { if ( ! $ this -> rootdir ) { return false ; } if ( $ this -> versiondb === null and $ this -> versiondisk === null ) { // There is no version.php or version info inside it. return false ; } return ( ( float ) $ this -> versiondb === ( float ) $ this -> versiondisk ) ; }
docstring: Is this plugin already installed and updated?
  @return bool true if plugin installed and upgraded.
docstring_tokens: Is this plugin already installed and updated?