Last modified: 2007-03-28 16:01:30 UTC

Wikimedia Bugzilla is closed!

Wikimedia has migrated from Bugzilla to Phabricator. Bug reports should be created and updated in Wikimedia Phabricator instead. Please create an account in Phabricator and add your Bugzilla email address to it.
Wikimedia Bugzilla is read-only. If you try to edit or create any bug report in Bugzilla you will be shown an intentional error message.
In order to access the Phabricator task corresponding to a Bugzilla report, just remove "static-" from its URL.
You could still run searches in Bugzilla or access your list of votes but bug reports will obviously not be up-to-date in Bugzilla.
Bug 9322 - Add Extension:Highlight to * and *
Add Extension:Highlight to * and *
Status: RESOLVED DUPLICATE of bug 7163
Product: Wikimedia
Classification: Unclassified
Site requests (Other open bugs)
All All
: Low enhancement with 2 votes (vote)
: ---
Assigned To: Nobody - You can work on this!
: shell
Depends on:
  Show dependency treegraph
Reported: 2007-03-17 18:22 UTC by Greudin
Modified: 2007-03-28 16:01 UTC (History)
0 users

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---


Description Greudin 2007-03-17 18:22:56 UTC
Is there a plan to make this highlight extension available on *
and *.wikiversity ?

<source lang="php">
  // Hello World in PHP
  echo 'Hello World!';


Thank you for all you did! MediaWiki rocks
Comment 1 Tim Starling 2007-03-28 16:01:30 UTC

*** This bug has been marked as a duplicate of 7163 ***

Note You need to log in before you can comment on or make changes to this bug.