从PHP中的ISO 8601日期字符串中减去毫秒

Question

使用ISO 8601日期字符串是我的恶魔。我需要能够从中减去毫秒，以便可以执行以下操作：

$a = '2019-06-09T12:56:52.081Z';

$b = subtract_milliseconds($a, 1);

echo $b; // '2019-06-09T12:56:52.080Z';

任何帮助将不胜感激，谢谢！

Answer 1

类似这样的东西：

<bean id="Runner" class="com.xyz.abc.Runner">
    <property name="EventLogger ">
      <bean class="com.xyz.abc.EventLogger ">
        <property name="param1" value="value1" />
        <property name="param2" value="value2" />
        <property name="param3" value="value3" />
      </bean>
    </property>
</bean>

请注意，这仅在PHP 7.1以后才有效，针对较早版本的PHP的解决方案可能要手动得多。