private function replace_colon($matches) { return preg_replace('/\\:/', self::CLASSCOLON, $matches[0]); }