if(!isset($title)){ $title = ''; } if(!isset($highlight)){ $highlight = ''; } if(!isset($description)){ $description = ''; } if(!isset($manual)){ $manual = false; } # We hash with crc32 because it's faster than md5 and "good enough" for this simple cache-busting use case ?>