[Pkg-mediawiki-devel] Bug#716995: php-wikidiff2: Incorrect PHP header on included wikidiff2.php

[Mark A. Hershberger]

Package: php-wikidiff2
Version: 0.0.1+svn109581-1
Severity: important

Installed as an extension for MediaWiki, the file it creates in
/etc/mediawiki-extensions/extensions-available/wikidiff2.php does not
have a proper

  <?php

at the beginning of the file.  Instead it has

  <?

so php does not interpret it properly.

-- System Information:
Debian Release: 7.1
  APT prefers stable
  APT policy: (700, 'stable'), (650, 'testing'), (550, 'unstable'), (500, 'stable-updates'), (500, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.2.0-4-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.utf8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8) (ignored: LC_ALL set to en_US.utf8)
Shell: /bin/sh linked to /bin/dash

Versions of packages php-wikidiff2 depends on:
ii  libapache2-mod-php5 [phpapi-20100525]  5.4.17-1~dotdeb.1
ii  libc6                                  2.17-7
ii  libgcc1                                1:4.8.1-6
ii  libstdc++6                             4.8.1-6
ii  libthai0                               0.1.18-2
ii  php5                                   5.4.17-1~dotdeb.1
ii  php5-cli [phpapi-20100525]             5.4.17-1~dotdeb.1

Versions of packages php-wikidiff2 recommends:
ii  mediawiki  1:1.19.5-1

php-wikidiff2 suggests no packages.

-- Configuration Files:
/etc/mediawiki-extensions/extensions-available/wikidiff2.php changed [not included]

-- no debconf information