Follow up to r71107 - added forgotten global function and corrected @since annotations
authorJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Sun, 15 Aug 2010 09:49:22 +0000 (09:49 +0000)
committerJeroen De Dauw <jeroendedauw@users.mediawiki.org>
Sun, 15 Aug 2010 09:49:22 +0000 (09:49 +0000)
commit6328b0f41e283b2cfe5b830b2f6eba8e438fc2e5
tree2f9cd957043edd29a3957922ab63c5efc61900d6
parentb6cef6601daa23816170c135c005d2289dd8c42c
Follow up to r71107 - added forgotten global function and corrected @since annotations
includes/DistributionRepository.php
includes/GlobalFunctions.php
includes/PackageRepository.php