function removeHeader($matches) { return StringStack::pushToStringStack($matches[1] . "\n", 'header'); }
/** * Callback function used in replaceConstants() */ private function replaceConstantsCallback($matches) { return StringStack::pushToStringStack($matches[1], 'constants'); }