diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2015-06-30 12:23:45 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2015-06-30 12:23:45 -0300 |
| commit | 159e14b816c6525112c78f5013995f36eb272d48 (patch) | |
| tree | 49951844bbc274e311aa8bdefd0bf6b0b6133ec2 | |
| parent | f851168c80d1fc85b522612245917c5efd69360a (diff) | |
| download | downloaders-159e14b816c6525112c78f5013995f36eb272d48.tar.gz downloaders-159e14b816c6525112c78f5013995f36eb272d48.tar.bz2 | |
Copy also custom settings at mediawiki-dl upgrade
| -rwxr-xr-x | mediawiki-dl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mediawiki-dl b/mediawiki-dl index 903b8a9..de595c0 100755 --- a/mediawiki-dl +++ b/mediawiki-dl @@ -46,7 +46,7 @@ function mediawiki_upgrade { mediawiki_deploy $VERSION # Copy configuration - $sudo cp -a mediawiki-$OLD_VERSION/LocalSettings.php mediawiki-$VERSION/ + $sudo cp -a mediawiki-$OLD_VERSION/LocalSettings*.php mediawiki-$VERSION/ # Contrib extensions if [ -d "mediawiki-$OLD_VERSION/contrib" ]; then |