Next month pager skipping months

I'm running into a problem whereby the next month pager jumps two months. This was exposed after applying the patch for the bug Undefined variable: granularity in date_views_plugin_pager->query(). The pager functionality uses date_modify() to add one month onto next_date, which is set to the last day of the month. According to the php documentation for date_modify(), it takes the date, adds 1 to the month and then checks overflow of days (and presumably months).

So, 31st January 2015 becomes 31st February 2015 which becomes 3rd March 2015 and the pager jumps from January to March.

This might be a php version issue, I'm using php 5.3.29.

I've addressed this by adding 1 month to min_date instead of max_date when the granularity is set to month within date_views_plugin_pager.inc ~ line 285.

if ($argument->date_handler->granularity == 'month')
  $this->view->date_info->next_date = clone($argument->min_date);
else
  $this->view->date_info->next_date = clone($argument->max_date);

I figure this should always work assuming that min_date is always set to 1st of the month. However, I assume there must be a good reason for using max_date instead of min_date to get the next pager date so guess this will probably break something somewhere along the line. Is this an appropriate solution, is there a better solution or am I barking up the wrong tree?

I assume this issue will also be encountered when skip empty pages is true (which is not the case for me).

Looks like this has been fixed in the latest dev version :)