Legoktm has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/297232

Change subject: Fix missing-dep-for-interpreter hhvm
......................................................................

Fix missing-dep-for-interpreter hhvm

The lintian bug was finally fixed, so remove the override and add hhvm
as a suggestion for now. Proper HHVM support for the package will come
in a later version.

Change-Id: I26e78d0c05be475f783562f93172145b824e0662
---
M control
M mediawiki.lintian-overrides
2 files changed, 1 insertion(+), 4 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/debian 
refs/changes/32/297232/1

diff --git a/control b/control
index 1a0fdca..f5c03ba 100644
--- a/control
+++ b/control
@@ -14,7 +14,7 @@
 Architecture: all
 Depends: apache2 | httpd, php5, php5-mysql | php5-pgsql | php5-sqlite | 
php5-mysqlnd, php5-common (>= 5.5.0+dfsg-10~), mime-support, libjs-jquery, 
mediawiki-classes, ${misc:Depends}
 Recommends: mysql-server | postgresql-contrib, php5-cli, python, php-wikidiff2
-Suggests: imagemagick | php5-gd, mediawiki-extensions-math, memcached, clamav, 
php5-apcu, php5-intl
+Suggests: imagemagick | php5-gd, mediawiki-extensions-math, memcached, clamav, 
php5-apcu, php5-intl, hhvm
 Breaks: fusionforge-plugin-mediawiki (<< 5.2~rc1+1~),
  mediawiki-extensions-geshi (<< 2.8~),
  mediawiki-extensions-ldapauth (<< 2.8~),
diff --git a/mediawiki.lintian-overrides b/mediawiki.lintian-overrides
index b88c31b..7c7611e 100644
--- a/mediawiki.lintian-overrides
+++ b/mediawiki.lintian-overrides
@@ -19,9 +19,6 @@
 # the files in question are not suitable for doc-base registration
 mediawiki: possible-documentation-but-no-doc-base-registration
 
-# unusual, but not a typo, filed as bug #789878
-mediawiki: unusual-interpreter 
usr/share/mediawiki/maintenance/hiphop/run-server #!/usr/bin/hhvm
-
 # by design, README.Debian explains how the local admin
 # should generate the link targets
 mediawiki: package-contains-broken-symlink var/lib/mediawiki/AdminSettings.php 
etc/mediawiki/AdminSettings.php

-- 
To view, visit https://gerrit.wikimedia.org/r/297232
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: I26e78d0c05be475f783562f93172145b824e0662
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/debian
Gerrit-Branch: REL1_25
Gerrit-Owner: Legoktm <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to