old php incompatibility

The last update of this plugin that came to my site (1.7.1) broke the entire installation. It’s not really the plugin’s fault, it’s the php on this server that is very old; but with a very small modification everything got compatible and running.

Problem is on line 41 of html-editor-syntax-highlighter.php
$ver = get_plugin_data( __FILE__ )['Version'];
cannot be processed by php 5.3 (don’t remember when they introduced direct access to array return values).

I modified it in

$plugin_data = get_plugin_data( __FILE__ );
$ver = $plugin_data['Version'];

and everything got back up.

I suggest to apply this patch the code, just to be safe: some production servers tend not to be updated unless specifically requested.

In this case the tradeoff between a sleeker code and a downed wordpress is clearly unbalanced.
Thank you

https://wordpress.org/plugins/html-editor-syntax-highlighter/