wiki: drop 2 hotfixes we no longer need
Signed-off-by: Kevin Fenzi <kevin@scrye.com>
This commit is contained in:
parent
985d30bcc6
commit
d82fc074dc
1 changed files with 0 additions and 12 deletions
|
@ -212,12 +212,6 @@
|
||||||
tags:
|
tags:
|
||||||
- mediawiki
|
- mediawiki
|
||||||
|
|
||||||
- name: Patch OpenIDConnect plugin to require CLA+1
|
|
||||||
copy: src=OpenIDConnect.php
|
|
||||||
dest=/srv/web/fp-wiki/extensions/OpenIDConnect/src/OpenIDConnect.php
|
|
||||||
tags:
|
|
||||||
- mediawiki
|
|
||||||
|
|
||||||
- name: ensure a directory exists for our SELinux policy
|
- name: ensure a directory exists for our SELinux policy
|
||||||
file: dest=/usr/local/share/selinux/ state=directory
|
file: dest=/usr/local/share/selinux/ state=directory
|
||||||
tags: selinux
|
tags: selinux
|
||||||
|
@ -231,9 +225,3 @@
|
||||||
command: semodule -i /usr/local/share/selinux/mediawiki.pp
|
command: semodule -i /usr/local/share/selinux/mediawiki.pp
|
||||||
when: selinux_module is changed
|
when: selinux_module is changed
|
||||||
tags: selinux
|
tags: selinux
|
||||||
|
|
||||||
- name: hotfix oojs-shared/widgets/InputWidget.php so preferences work
|
|
||||||
copy: src=InputWidget.php dest=/srv/web/fp-wiki/vendor/oojs-shared/widgets/InputWidget.php
|
|
||||||
tags:
|
|
||||||
- mediawiki
|
|
||||||
- hotfix
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue