blob: 02f5dc3218834e2091a13ab55780669f6d9dafd0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
- name: get url for extension tarball
uri:
url: 'https://www.mediawiki.org/w/index.php?title=Special:ExtensionDistributor&extdistname={{ extension_name }}&extdistversion={{ extension_version }}'
register: extension_distributor_resp
- name: extract extension tarball
unarchive:
src: "{{ extension_distributor_resp.refresh.split(';') | map('trim') | select('search', '^url=') | first | regex_replace('^url=', '') }}"
remote_src: yes
dest: '{{ mediawiki_home }}/extensions'
owner: apache
group: apache
|