distmaker - Add deprecation notice to generated copies of civicrm-version.php

diff --git a/distmaker/dists/common.sh b/distmaker/dists/common.sh
index 64fbf0426082f1c837ee7451acb77c3893b25810..e760bf593054d3dd6b2269a706e7fb2e216c950b 100644 (file)
--- a/distmaker/dists/common.sh
+++ b/distmaker/dists/common.sh
@@ -220,6 +220,7 @@ function dm_generate_version() {
 
   # final touch
   echo "<?php
+/** @deprecated */
 function civicrmVersion( ) {
   return array( 'version'  => '$DM_VERSION',
                 'cms'      => '$ufname',