Starting by replacing \<nowiki\>\s\<nowiki\> would be safe enough imho.
Vito 2015-06-19 10:38 GMT+02:00 Amir E. Aharoni <[email protected]>: > Hi, > > In the last few days I've been looking for reasons for the appearance of > unnecessary <nowiki> tags. This mostly happens because of various > VisualEditor and Parsoid issues. The developers have been very good at > fixing them, and now it happens very rarely, but there are still lots of > these useless tags lurking in pages. > > Two examples are: > * '''<nowiki/>''' - this doesn't do anything at all. I couldn't reproduce > it in any way, so it's probably a bug that was fixed. > * <nowiki> </nowiki> in the beginning of a paragraph. This was added in the > past to avoid putting the paragraph in <pre>, but it's entirely useless, > because the spaces are trimmed. Now they are pre-trimmed, so this is also a > fixed bug, but a lot of pages still have it. > > There may be more - I'm still looking for these. > > It would be easy to write bots to fix such easy common cases, but they > would have to run on every project. Would it make sense to write them as > maintenance scripts that update them everywhere when people upgrade VE? > > -- > Amir Elisha Aharoni · אָמִיר אֱלִישָׁע אַהֲרוֹנִי > http://aharoni.wordpress.com > “We're living in pieces, > I want to live in peace.” – T. Moore > _______________________________________________ > Wikitech-l mailing list > [email protected] > https://lists.wikimedia.org/mailman/listinfo/wikitech-l _______________________________________________ Wikitech-l mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikitech-l
