Home
last modified time | relevance | path

Searched defs:pageContent (Results 1 – 6 of 6) sorted by relevance

/plugin/combo/ComboStrap/
H A DMarkupRenderUtility.php47 …public static function getInstructionsAndStripPEventually($pageContent, bool $stripOpenAndEnd = tr…
H A DPluginUtility.php420 public static function render($pageContent): ?string
/plugin/autonumbering/
Dsyntax.php168 public function doNumbering($pageContent){
/plugin/mizarproofchecker/
Daction.php153 private function extractMizarContent($pageContent)
/plugin/mizarveifiabledocs/
Daction.php153 private function extractMizarContent($pageContent)
/plugin/mizarverifiabledocs/
H A Daction.php257 private function extractMizarContent($pageContent)