From e78d54464f48e016479aaee6e8c778959d59c47e Mon Sep 17 00:00:00 2001
From: Tim Otten <totten@civicrm.org>
Date: Thu, 10 May 2018 20:15:09 -0700
Subject: [PATCH] distmaker - Add deprecation notice to generated copies of
 civicrm-version.php

---
 distmaker/dists/common.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/distmaker/dists/common.sh b/distmaker/dists/common.sh
index 64fbf04260..e760bf5930 100644
--- 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',
-- 
2.25.1