| Index: trunk/extensions/wikidiff2/debian/control |
| — | — | @@ -2,11 +2,11 @@ |
| 3 | 3 | Section: web |
| 4 | 4 | Priority: optional |
| 5 | 5 | Maintainer: Tim Starling <tstarling@wikimedia.org> |
| 6 | | -Build-Depends: debhelper (>= 7.0.50), php5-dev, libthai-dev |
| | 6 | +Build-Depends: debhelper (>= 7.0.50), php5-dev, libthai-dev, pkg-config |
| 7 | 7 | Standards-Version: 3.7.2 |
| 8 | 8 | |
| 9 | 9 | Package: php5-wikidiff2 |
| 10 | 10 | Architecture: any |
| 11 | | -Depends: ${shlibs:Depends}, ${misc:Depends}, php5-common |
| | 11 | +Depends: ${shlibs:Depends}, ${misc:Depends}, php5-common, libthai0 |
| 12 | 12 | Description: MediaWiki diff plugin for PHP 5 |
| 13 | 13 | Faster diff plugin for MediaWiki under PHP 5 |
| Index: trunk/extensions/wikidiff2/debian/changelog |
| — | — | @@ -1,3 +1,9 @@ |
| | 2 | +php5-wikidiff2 (1.1.0-2) lucid; urgency=low |
| | 3 | + |
| | 4 | + * Include a config file so the extension loads |
| | 5 | + |
| | 6 | + -- Mark Bergsma <mark@wikimedia.org> Tue, 08 Feb 2011 12:50:21 +0000 |
| | 7 | + |
| 2 | 8 | php5-wikidiff2 (1.1.0-1) lucid; urgency=low |
| 3 | 9 | |
| 4 | 10 | * New non-swig version |
| Index: trunk/extensions/wikidiff2/debian/conffiles |
| — | — | @@ -0,0 +1 @@ |
| | 2 | +/etc/php5/conf.d/wikidiff2.ini |
| Index: trunk/extensions/wikidiff2/debian/rules |
| — | — | @@ -7,7 +7,6 @@ |
| 8 | 8 | %: |
| 9 | 9 | dh $@ |
| 10 | 10 | |
| 11 | | - |
| 12 | 11 | override_dh_auto_configure: |
| 13 | 12 | # Slightly hacked here to make it work with other PHP installations |
| 14 | 13 | # earlier in the path, so I don't have to make chroots. Really it should just |
| — | — | @@ -19,3 +18,5 @@ |
| 20 | 19 | |
| 21 | 20 | override_dh_auto_install: |
| 22 | 21 | INSTALL_ROOT=$(CURDIR)/debian/php5-wikidiff2 make install |
| | 22 | + install -m 0755 -d $(CURDIR)/debian/php5-wikidiff2/etc/php5/conf.d |
| | 23 | + install -m 0644 wikidiff2.ini $(CURDIR)/debian/php5-wikidiff2/etc/php5/conf.d/wikidiff2.ini |
| Index: trunk/extensions/wikidiff2/wikidiff2.ini |
| — | — | @@ -0,0 +1 @@ |
| | 2 | +extension=php_wikidiff2.so |