Give less of a shit about which version of PHP we install on our desktop

2020-05-02 05:00:31 -05:00 · 2020-05-02 05:00:31 -05:00 · 006f8759fe
commit 006f8759fe
parent 533406d69a
1 changed files with 2 additions and 2 deletions
--- a/roles/desktop/tasks/main.yml
+++ b/roles/desktop/tasks/main.yml
@ -76,8 +76,8 @@
    apt:
      install_recommends: no
      name:
-        - php7.3 # Dev stuff
-        - php7.3-xml
+        - php # Dev stuff
+        - php-xml
  - name: Install fonts
    apt:
      name: