Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

feat: add support for Opera Developer #655

Merged
merged 2 commits into from Sep 15, 2023

Conversation

raccmonteiro
Copy link
Contributor

@raccmonteiro raccmonteiro commented Aug 25, 2023

feat: add support for Opera Developer

@raccmonteiro raccmonteiro changed the title added Opera Developer feat: add support for Opera Developer Aug 25, 2023
@will-stone
Copy link
Owner

Hi. Thanks for the update. Is it not that “Opera Dev” has been renamed? Or that it was never correct?

@raccmonteiro
Copy link
Contributor Author

I believe it was rename. I didn't replace in case someone is using an older version. Do you think it can be replaced?

@will-stone
Copy link
Owner

Do you know when it was renamed? I’m always happy to keep things up to date though, I don’t believe people should intentionally use old browser versions due to security concerns.

@raccmonteiro
Copy link
Contributor Author

raccmonteiro commented Aug 25, 2023

I had the idea it was named "Opera Dev" but maybe the official name was never this.
I found this article from 2014! https://techdows.com/2014/08/opera-developer-renamed-to-opera-developer.html

But now, I don't know if it should be "Opera Developer" or "Opera developer". The installation path is " /Applications/Opera Developer"
image

@will-stone
Copy link
Owner

What's working when you spin up B locally?

@will-stone
Copy link
Owner

I'll just merge this in, doesn't matter if we have both spellings in there, the lookup is very quick now.

@will-stone will-stone merged commit a57a9de into will-stone:main Sep 15, 2023
1 check passed
@raccmonteiro
Copy link
Contributor Author

sorry, I went on holidays and not able no respond.
It's working with 'Opera Developer', thanks for merging

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants