Re: [Github-comments] [geany/geany] Update std.php.tags to be current with PHP 7.2 (#1970)