mediawiki: hotfix InputWidget so prefs works.

Signed-off-by: Kevin Fenzi <kevin@scrye.com>
2019-06-28 01:16:17 +00:00 · 2019-06-28 01:16:17 +00:00 · d8189b7498
commit d8189b7498
parent 842b87353c
2 changed files with 7 additions and 1 deletions
--- a/roles/mediawiki/files/InputWidget.php
+++ b/roles/mediawiki/files/InputWidget.php
@ -2,7 +2,7 @@

 namespace OOUI;

-require "/usr/share/php/OOUI/mixins/AccessKeyedElement.php";
+require_once "/usr/share/php/OOUI/mixins/AccessKeyedElement.php";
 /**
 * Base class for input widgets.
 *
--- a/roles/mediawiki/tasks/main.yml
+++ b/roles/mediawiki/tasks/main.yml
@ -191,3 +191,9 @@
  command: semodule -i /usr/local/share/selinux/mediawiki.pp
  when: selinux_module is changed
  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