Файловый менеджер - Редактировать - /var/www/html/mediawiki-1.43.1/extensions/VisualEditor/lib/ve/bin/update-ooui.sh
Ðазад
#!/bin/bash -eu # This script generates a commit that updates our copy of OOUI 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-ui" # Destination relative to the root of the repo NPM_DIR=$(mktemp -d 2>/dev/null || mktemp -d -t 'update-ooui') # e.g. /tmp/update-ooui.rI0I5Vir # Prepare working tree cd "$REPO_DIR" git reset -- $TARGET_DIR git checkout -- $TARGET_DIR git fetch origin git checkout -B upstream-ooui origin/master # Fetch upstream version cd $NPM_DIR if [ -n "${1:-}" ] then npm install "oojs-ui@$1" else npm install oojs-ui fi OOUI_VERSION=$(node -e 'console.log(require("./node_modules/oojs-ui/package.json").version);') if [ "$OOUI_VERSION" == "" ] then echo 'Could not find OOUI version' exit 1 fi # Copy files # - Exclude the minimised distribution files and PNG image assets (VE requires SVG support) rsync --force --recursive --delete --exclude 'oojs-ui*.min.*' --exclude 'oojs-ui.js' --exclude 'themes/**/images/*/*.png' ./node_modules/oojs-ui/dist/ "$REPO_DIR/$TARGET_DIR" # Clean up temporary area rm -rf "$NPM_DIR" # Generate commit cd $REPO_DIR COMMITMSG=$(cat <<END Update OOUI to v$OOUI_VERSION Release notes: https://gerrit.wikimedia.org/g/oojs/ui/+/v$OOUI_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
|
ÐаÑтройка