settings.php: read plugin version dynamically