property DiffFormatter::$show_header

Should a block header be shown?

File

drupal/core/lib/Drupal/Component/Diff/DiffEngine.php, line 776

A PHP diff engine for phpwiki. (Taken from phpwiki-1.3.3)

Class

DiffFormatter

A class to format Diffs

Code

var $show_header = TRUE;