Searched +full:- +full:- +full:set +full:- +full:upstream (Results 1 – 4 of 4) sorted by relevance
4 # When the pull request is merged, the release-build workflow will be triggered automatically16 - stable17 - hotfix18 - rc23 description: 'The version date YYYY-MM-DD, empty for today'29 runs-on: ubuntu-latest31 - name: Fail if branch is not master37 - name: Checkout40 fetch-depth: 042 - name: Set git identity[all …]
15 // update message version - always use a string to avoid localized floats!41 $INPUT->set('id', str_replace("\xC2\xAD", '', $INPUT->str('id'))); //soft-hyphen42 $QUERY = trim($INPUT->str('q'));45 $REV = $INPUT->int('rev');46 $DATE_AT = $INPUT->str('at');47 $IDX = $INPUT->str('idx');48 $DATE = $INPUT->int('date');49 $RANGE = $INPUT->str('range');50 $HIGH = $INPUT->param('s');53 if ($INPUT->post->has('wikitext')) {[all …]
4 * ------8 * - Deoren Moor (http://www.whyaskwhy.org/blog/)9 * - Thomas Joiner18 * -------20 * - Clean up the duplicate keywords23 * - Synchronized with directives listed on wiki/doc pages24 * - Misc formatting tweaks and language fixes to pass langcheck27 * - First Release30 * -------------------------31 * - Verify PARSER_CONTROL items are correct[all …]
26 * Check for new messages from upstream43 if ($lm < time() - (60 * 60 * 24) || $lm < @filemtime(DOKU_INC . DOKU_SCRIPT)) {53 $http->timeout = 12;54 $resp = $http->get(DOKU_MESSAGEURL . $updateVersion);60 Logger::debug("checkUpdateMessages(): unexpected HTTP response received", $http->error);94 $commitInfo = shell_exec("git log -1 --pretty=format:'%h %cd' --date=short");102 // we cannot use git on the shell -- let's do it manually!112 $packedRefs = file_get_contents(DOKU_INC . '.git/packed-refs');133 if ($ts && $date = date('Y-m-d', $ts)) {151 * last commit. SHA is the short SHA of the last commit - this is only added on[all …]