|Please do not post any new comments on this page. This is a discussion archive for Synchbot requests by Infovarius. See current discussion or the archives index.|
Migrate to global CSS/JS
User:Infovarius/global.js, remove manual
wikipedia-global.js imports since they're now automatic, and delete local pages that don't contain anything else. Discussed at User talk:Infovarius#Global CSS/JS migration. —Pathoschild 01:12, 03 July 2015 (UTC)
- Done! 12 user pages were deleted.
- —Pathoschild 02:56, 04 July 2015 (UTC)