Nikita Popov 56b810e91d Add getShortName() API
PHP's name resolution rules are f'ing complicated.
2017-04-28 17:10:30 +02:00
..
2017-04-09 19:51:18 +02:00
2017-04-28 17:10:30 +02:00
2017-01-19 22:24:48 +01:00