<?php

// @codeCoverageIgnoreStart
return '5.3.0';
// @codeCoverageIgnoreEnd