Giuseppe Lavagetto has submitted this change and it was merged.
Change subject: Fix debian/rules, use debian native package versioning
......................................................................
Fix debian/rules, use debian native package versioning
Change-Id: I05a86ec799e612508976a85ec828fa73855929b9
---
M debian/changelog
M debian/rules
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, approved
diff --git a/debian/changelog b/debian/changelog
index 38a7af6..6807779 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-php-wikidiff2 (1.3.0-4) trusty-wikimedia; urgency=medium
+php-wikidiff2 (1.3.4) trusty-wikimedia; urgency=medium
* Version bump for HHVM 3.6
diff --git a/debian/rules b/debian/rules
index 82efeff..8265ced 100755
--- a/debian/rules
+++ b/debian/rules
@@ -36,7 +36,7 @@
override_dh_gencontrol:
echo "php:Depends=phpapi-$(shell php-config5 --phpapi)" >>
debian/php-wikidiff2.substvars
-echo "hhvm:ApiVersion=hhvm-api-$(shell /usr/bin/hhvm --version | sed -ne
's/^Extension API:\ //p')" >> debian/hhvm-wikidiff2.substvars
+ echo "hhvm:ApiVersion=hhvm-api-$(shell /usr/bin/hhvm --version | sed
-ne 's/^Extension API:\ //p')" >> debian/hhvm-wikidiff2.substvars
dh_gencontrol
override_dh_auto_clean:
--
To view, visit https://gerrit.wikimedia.org/r/204717
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I05a86ec799e612508976a85ec828fa73855929b9
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/php/wikidiff2
Gerrit-Branch: master
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
