Giuseppe Lavagetto has uploaded a new change for review. https://gerrit.wikimedia.org/r/190804
Change subject: Fixup for Icfd5113f7cbb64e29b4f6f1d824c1edd26fe3f66 ...................................................................... Fixup for Icfd5113f7cbb64e29b4f6f1d824c1edd26fe3f66 Change-Id: Ic9e640b96f3e97ccc925569efdaa5a29ba8a827e --- M debian/php5-fss.postinst M debian/php5-fss.prerm 2 files changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/php/FastStringSearch refs/changes/04/190804/1 diff --git a/debian/php5-fss.postinst b/debian/php5-fss.postinst index ec2857e..6ebd586 100755 --- a/debian/php5-fss.postinst +++ b/debian/php5-fss.postinst @@ -3,7 +3,7 @@ set -e #EXTRA# -/usr/sbin/php5enmod -s ALL fss +[ "$1" = "configure" ] && php5enmod -s ALL fss #DEBHELPER# diff --git a/debian/php5-fss.prerm b/debian/php5-fss.prerm index 679437e..6eded05 100755 --- a/debian/php5-fss.prerm +++ b/debian/php5-fss.prerm @@ -5,7 +5,7 @@ #EXTRA# if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then - /usr/sbin/php5dismod -s ALL fss + php5dismod -s ALL fss fi; #DEBHELPER# -- To view, visit https://gerrit.wikimedia.org/r/190804 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic9e640b96f3e97ccc925569efdaa5a29ba8a827e Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/php/FastStringSearch Gerrit-Branch: master Gerrit-Owner: Giuseppe Lavagetto <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
