By default, WordPress uses the version information provided in ../civicrm/civicrm.php. However, the batch number is missing here:
<?php
/*
Plugin Name: CiviCRM
Description: CiviCRM - Growing and Sustaining Relationships
Version: 4.7
Author: CiviCRM LLC
Author URI: http://civicrm.org/
Plugin URI: http://wiki.civicrm.org/confluence/display/CRMDOC/WordPress+Installation+Guide+for+CiviCRM+4.7
License: AGPL3
Text Domain: civicrm
Domain Path: /languages
*/
WordPress uses the following code to extract the version information from a plugin:
$data = get_plugin_data("~/civicrm/civicrm.php");
$version = $data['Version'];
I am using this functionality to automate keeping track of my fixes until CiviCRM and other plugins make the necessary corrections in the next release.
Would it be possible to update civicrm.php to add the batch number? So, it will return 4.7.12 instead of 4.7.