It is currently Tue Jul 25, 2017 7:43 am

All times are UTC - 7 hours





Post new topic This topic is locked, you cannot edit posts or make further replies.  [ 47 posts ]  Go to page Previous  1, 2, 3, 4
Author Message
PostPosted: Wed Sep 10, 2014 9:24 pm 
Offline
User avatar

Joined: Sun Sep 19, 2004 9:28 pm
Posts: 3192
Location: Mountain View, CA, USA
It will be removed. I am certain whatever this matter is will become a problem again in the future, and it is difficult to maintain from an administrator's point of view given the manual modifications/file placements/etc. that have to be done.

I have edited (by hand) all the pages I previous improved to use the syntax highlighter, but because MediaWiki does not offer what I need, I will need to go through MySQL directly to find any remaining active pages that use the old source tag and fix them. There have been some added/changed since, so I need to find them to do a thorough/proper cleanup job before I can call it a "done deal".


Top
 Profile  
 
PostPosted: Wed Sep 10, 2014 10:04 pm 
Offline
User avatar

Joined: Sun Sep 19, 2004 9:28 pm
Posts: 3192
Location: Mountain View, CA, USA
All pages containing use of <source> and </source> tags, excluding User pages, have been modified to use <pre> and </pre> tags instead.

I did most of this by hand, and only later did I find the Replace_Text extension for MediaWiki, which helped me find 2 others to fix up.

Anyway, because of the nature of all of this, I'm locking this thread. It would be nice if the syntax highlighter maintainers would actually maintain their software through official MediaWiki channels and so on, but it really doesn't look like that's going to happen. It was a good run, folks.


Top
 Profile  
 
Display posts from previous:  Sort by  
Post new topic This topic is locked, you cannot edit posts or make further replies.  [ 47 posts ]  Go to page Previous  1, 2, 3, 4

All times are UTC - 7 hours


Who is online

Users browsing this forum: No registered users and 1 guest


You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot post attachments in this forum

Search for:
Jump to:  
Powered by phpBB® Forum Software © phpBB Group