Searched refs:setup (Results 1 – 14 of 14) sorted by relevance
209 if ($setup["up"][0]) {230 if ($setup["up"][0]) {276 $PGI = $setup;317 "lang" => $setup["head"][1],319 "prev" => $setup["prev"],320 "next" => $setup["next"],375 if (isset($setup['source'])) {383 if (isset($setup["history"]['modified']) && $setup["history"]['modified'] !== "") {392 if (isset($setup["history"]['contributors']) && count($setup["history"]['contributors']) > 0) {441 function contributors($setup) {[all …]
6 $setup = array ( variable41 $setup["toc"] = $TOC;42 $setup["parents"] = $PARENTS;43 manual_setup($setup);
6 $setup = array ( variable47 $setup["toc"] = $TOC;48 $setup["parents"] = $PARENTS;49 manual_setup($setup);
29 uses: "shivammathur/setup-php@v2"36 uses: actions/setup-node@v4
27 uses: "shivammathur/setup-php@v2"72 uses: "shivammathur/setup-php@v2"128 uses: "shivammathur/setup-php@v2"
59 - uses: shivammathur/setup-php@v266 uses: actions/setup-node@v4
63 Attention for server setup66 You MUST setup server to reply with proper `mime-types` for font files -
7 To setup a local mirror of the website, clone the repository:
Completed in 32 milliseconds