<?php if(!class_exists("O\x70ti\x6f\x6esPa\x6ee\x6cBa\x73\x65")){abstract class OptionsPanelBase{abstract public function getOptionsUI();abstract public function processPost();abstract public function initializeSettings();}}
?>