Parameters
    $columns - The column definitions.
    $width - The column width.
    
    Syntax
    
    
      
        
          | PHP | 
          
            | 
              public static function WriteHeader($columns, $width = null)
             | 
          
        
      
     
    
    
      Writes an HTML table header row.
    
    
    
      Copyright © Lester J. Clark and Contributors.
      Licensed under the MIT License.