Searched refs:PAGE_TITLE (Results 1 – 2 of 2) sorted by relevance
2 let PAGE_TITLE = JSINFO.id.replace(JSINFO.namespace,"").replaceAll("_"," "); variable3 if (PAGE_TITLE.startsWith(":")) {4 PAGE_TITLE = PAGE_TITLE.replace(":","");17 text_content = text_content.replace("<PAGE_TITLE>",PAGE_TITLE);
83 | `PAGE_TITLE` | the id of the currently edited page, underscores replaced by spaces |