/home/ntu100/www/wp-content/themes/flatsome/inc/builder/core/server/src/Elements/ElementOption.php
<?php

class UX_Builder_Shortcode_Option extends UX_Builder_Option
{
    // ...
}
Path: home/ntu100/www/wp-content/themes/flatsome/inc/builder/core/server/src/Elements