diff options
| -rwxr-xr-x | mediawiki-dl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mediawiki-dl b/mediawiki-dl index 8535e30..4cc2cb4 100755 --- a/mediawiki-dl +++ b/mediawiki-dl @@ -53,7 +53,7 @@ function mediawiki_upgrade { $sudo cp -a mediawiki-$OLD_VERSION/contrib mediawiki-$VERSION/ # Symlink extensions - for extension in mediawiki-$OLD_VERSION/extensions/*; do + for extension in `ls mediawiki-$OLD_VERSION/extensions`; do if [ -h "mediawiki-$OLD_VERSION/extensions/$extension" ]; then $sudo cp mediawiki-$OLD_VERSION/extensions/$extension mediawiki-$VERSION/extensions/$extension fi |