WordPress.org removed /extend/, so we need to update URLs

[nacin]

On Sunday night, I deployed a change to WordPress.org that finally removed /extend/ to plugin and theme URLs. So ​http://wordpress.org/extend/plugins/debug-bar/ is now just ​http://wordpress.org/plugins/debug-bar/. We have various URLs in trunk to update.

[JustinSainton]

Ignored .pot files, but left changes to bundled core theme style.css files.

[JustinSainton]

Also, you didn't mention it in the original post, but I assumed you removed Mobile from /extend/ as well - and that appears to be accurate.

[nacin]

Yes, /extend/mobile/ also became /mobile/. In my patch, I also rearranged some strings so future changes to URLs don't alter the strings themselves. I am not sure but it looks like I found a few more (while you caught the ones in wp-content).

[nacin]

In 24320:

Remove /extend/ from URLs to wordpress.org/plugins, /themes, and /mobile, as those are all now top-level. see #24389.

[nacin]

In 24321:

Remove /extend/ from Theme URI headers in default themes. props JustinSainton, fixes #24389.

[nacin]

In 24322:

Remove /extend/ from Hello Dolly.

Well, hello, Dolly
It's so nice to have you back where you belong

fixes #24389.

[SergeyBiryukov]

In 24327:

Use numbered placeholders. see #24389.