Remove expired ports:
2018-12-20 lang/php_doc: unmaintained and documents obsolete PHP < 5.6
2018-12-20 german/php_doc: unmaintained and documents obsolete PHP < 5.6
2018-12-20 polish/php_doc: unmaintained and documents obsolete PHP < 5.6
2018-12-20 portuguese/php_doc-br: unmaintained and documents obsolete PHP < 5.6
2018-12-20 french/php_doc: unmaintained and documents obsolete PHP < 5.6
2018-12-20 japanese/php_doc: unmaintained and documents obsolete PHP < 5.6