Update option.php

Make it class extension friendly, especially for method addOption