<?php $exp = 1795539451; $val = array (
  'domain' => NULL,
  'plural-forms' => NULL,
  'messages' => 
  array (
    '' => 
    array (
      'plugins.generic.customHeader.displayName' => 'Custom Header Plugin',
      'plugins.generic.customHeader.description' => 'Add arbitrary headers to the website.',
      'plugins.generic.customHeader.manager.settings.description' => 'With this plugin enabled custom headers can be added to the website. This can be used, for example, to add custom Javascript.',
      'plugins.generic.customHeader.content' => 'Header Content',
      'plugins.generic.customHeader.footerContent' => 'Footer Content',
    ),
  ),
);