debian policy: 5 - PHP modules

[Mathieu Malaterre <malat@debian.org>]

[CC me please]

Hi there,

  I am trying to package a swig generated PHP module. The module comes
in two parts: gdcm.so and gdcm.php. It is clear that gdcm.so should be
installed in `php-config --extension-dir`.
  However it is not clear where the gdcm.php should be installed :
/usr/share/php ? /usr/share/php5 ?

Thanks