Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/VisualEditor/lib/ve/bin/update-oojs.sh
Ðазад
#!/bin/bash -eu # This script generates a commit that updates our copy of OOjs if [ -n "${2:-}" ] then # Too many parameters echo >&2 "Usage: $0 [<version>]" exit 1 fi REPO_DIR=$(cd "$(dirname $0)/.."; pwd) # Root dir of the git repo working tree TARGET_DIR="lib/oojs" # Destination relative to the root of the repo NPM_DIR=$(mktemp -d 2>/dev/null || mktemp -d -t 'update-oojs') # e.g. /tmp/update-oojs.rI0I5Vir # Prepare working tree cd "$REPO_DIR" git reset -- $TARGET_DIR git checkout -- $TARGET_DIR git fetch origin git checkout -B upstream-oojs origin/master # Fetch upstream version cd $NPM_DIR if [ -n "${1:-}" ] then npm install "oojs@$1" else npm install oojs fi OOJS_VERSION=$(node -e 'console.log(require("./node_modules/oojs/package.json").version);') if [ "$OOJS_VERSION" == "" ] then echo 'Could not find OOjs version' exit 1 fi # Copy file(s) rsync --force ./node_modules/oojs/dist/oojs.js "$REPO_DIR/$TARGET_DIR" rsync --force ./node_modules/oojs/AUTHORS.txt "$REPO_DIR/$TARGET_DIR" rsync --force ./node_modules/oojs/LICENSE-MIT "$REPO_DIR/$TARGET_DIR" rsync --force ./node_modules/oojs/README.md "$REPO_DIR/$TARGET_DIR" # Clean up temporary area rm -rf "$NPM_DIR" # Generate commit cd $REPO_DIR COMMITMSG=$(cat <<END Update OOjs to v$OOJS_VERSION Release notes: https://gerrit.wikimedia.org/g/oojs/core/+/v$OOJS_VERSION/History.md END ) # Stage deletion, modification and creation of files. Then commit. git add --update $TARGET_DIR git add $TARGET_DIR git commit -m "$COMMITMSG"
| ver. 1.1 | |
.
| PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ Ñтраницы: 0 |
proxy
|
phpinfo
|
ÐаÑтройка