<?php $exp = 1787877747; $val = array (
  'application' => 'textEditorExtras',
  'class' => 'TextEditorExtrasPlugin',
  'type' => 'plugins.generic',
  'release' => '1.0.1.1',
  'date' => '2025-05-07',
  'lazy-load' => 1,
  'sitewide' => 0,
);