diff options
author | nl6720 | 2022-03-02 09:53:14 +0200 |
---|---|---|
committer | nl6720 | 2022-03-02 09:53:14 +0200 |
commit | 8017d7774569a6e9eb60c6e5ed135560f62d0c9b (patch) | |
tree | f7cfb6b0981860ab01379a440ba3cd951daa92d4 | |
parent | 7893599ffd5e2b51981da53cf91f1dbf3abae664 (diff) | |
download | aur-8017d7774569a6e9eb60c6e5ed135560f62d0c9b.tar.gz |
mediawiki-extension-usermerge 1.37+r1056+g1befe21-1
-rw-r--r-- | .SRCINFO | 4 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 4 insertions, 4 deletions
@@ -1,12 +1,12 @@ pkgbase = mediawiki-extension-usermerge pkgdesc = An extension for MediaWiki that allows to merge one Wiki user's account with another Wiki user's account - pkgver = 1.37+r1054+g614e434 + pkgver = 1.37+r1056+g1befe21 pkgrel = 1 url = https://www.mediawiki.org/wiki/Extension:UserMerge arch = any license = GPL makedepends = git - source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/UserMerge.git#commit=614e43417879ebef53147100fc75e8cb600e7cfb + source = git+https://gerrit.wikimedia.org/r/mediawiki/extensions/UserMerge.git#commit=1befe217c807d11618790071d620d55fb3201fd2 sha512sums = SKIP pkgname = mediawiki-extension-usermerge @@ -1,10 +1,10 @@ # Maintainer: nl6720 <nl6720@archlinux.org> pkgname=mediawiki-extension-usermerge -pkgver=1.37+r1054+g614e434 +pkgver=1.37+r1056+g1befe21 pkgrel=1 _mw='1.37' -_commit='614e43417879ebef53147100fc75e8cb600e7cfb' # git rev-parse "REL${_mw/./_}" +_commit='1befe217c807d11618790071d620d55fb3201fd2' # git rev-parse "REL${_mw/./_}" pkgdesc="An extension for MediaWiki that allows to merge one Wiki user's account with another Wiki user's account" arch=('any') url='https://www.mediawiki.org/wiki/Extension:UserMerge' |