Ah, sure, sorry, I was misguided by the term "merge into webkit" and I
was thinking the patch only available in some external repository.
On 07/05/2013 11:40 AM, Noam Rosenthal wrote:
It was suggested on the bug that this is a discussion for the mailing
list...
On Fri, Jul 5, 2013 at 11:37 AM, Balazs Kelemen <[email protected]
<mailto:[email protected]>> wrote:
On 07/05/2013 10:54 AM, Karol Swiniarski wrote:
Ok that's great! Patch is ready. Who can review it and merge it into webkit?
http://www.webkit.org/coding/contributing.html
If you want your work find it's way to trunk, you should upload
your patch to the bugzilla and find a reviewer. Please don't use
the mailing list for that. You should cc a reviewer with
appropriate knowledge. You can ask people on IRC. The mailing list
is not for that: it would be unusable if everybody would ask for
reviews here.
Br,
Balazs
-----Original Message-----
From: Kenneth Russell [mailto:[email protected]]
Sent: Tuesday, July 02, 2013 1:40 PM
To: Karol Swiniarski
Cc:[email protected] <mailto:[email protected]>
Subject: Re: [webkit-dev] Changing names of new WebGL extensions
I suggest to remove the prefixes. These WebGL extensions graduated to
"community approved" status about six months ago, and there are very
few hits on searches for e.g. "WEBKIT_WEBGL_depth_texture", so I doubt
many, if any, applications will break.
-Ken
On Tue, Jul 2, 2013 at 11:09 AM, Karol Swiniarski
<[email protected]> <mailto:[email protected]> wrote:
Hi all,
First of all I would like to say hi to everyone - it's my first post in
this
list ;-)
There has been recently approved WebGL extensions by Khronos:
WEBGL_depth_texture, WEBGL_compressed_texture_s3tc, WEBGL_lose_context.
I created a patch which changes old prefixes from WEBKIT_WEBGL_ to WEBGL_
https://bugs.webkit.org/show_bug.cgi?id=117786
It has been reviewed, and so far, not accepted.
This change complies with latest WebGL standard and may break some
backward-compatibility.
What's the process of pushing such changes to Webkit? Who is responsible
for
changing names? Can this change be applied any soon?
_______________________________________________
webkit-dev mailing list
[email protected] <mailto:[email protected]>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected] <mailto:[email protected]>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected] <mailto:[email protected]>
https://lists.webkit.org/mailman/listinfo/webkit-dev
_______________________________________________
webkit-dev mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-dev
