Legoktm has uploaded a new change for review. (
https://gerrit.wikimedia.org/r/399378 )
Change subject: Bold search profile currently in use
......................................................................
Bold search profile currently in use
Change-Id: I9b89ac749f3bbb375f7e4c92b9048c346ebea4b2
---
M app.py
1 file changed, 19 insertions(+), 13 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/labs/codesearch
refs/changes/78/399378/1
diff --git a/app.py b/app.py
index 2726300..537de10 100644
--- a/app.py
+++ b/app.py
@@ -32,13 +32,19 @@
}
-def index_url(backend):
- return url_for('index', backend=backend)
+def index_url(target, text, current):
+ if target == current:
+ return '<b>%s</b>' % text
+ else:
+ return '<a href="%s">%s</a>' % (
+ url_for('index', backend=target),
+ text
+ )
@app.route('/')
def homepage():
- return redirect(index_url('search'))
+ return redirect(url_for('index', backend='search'))
@app.route('/<backend>/')
@@ -49,18 +55,18 @@
<div style="text-align: center;">
<h2>MediaWiki code search</h2>
-<a href="{search}">Everything</a> ·
-<a href="{core}">MediaWiki core</a> ·
-<a href="{ext}">Extensions</a> ·
-<a href="{skins}">Skins</a> ·
-<a href="{things}">Extensions & Skins</a>
+{search} ·
+{core} ·
+{ext} ·
+{skins} ·
+{things}
</div>
""".format(
- search=index_url('search'),
- core=index_url('core'),
- ext=index_url('extensions'),
- skins=index_url('skins'),
- things=index_url('things')
+ search=index_url('search', 'Everything', backend),
+ core=index_url('core', 'MediaWiki core', backend),
+ ext=index_url('extensions', 'Extensions', backend),
+ skins=index_url('skins', 'Skins', backend),
+ things=index_url('things', 'Extensions & skins', backend)
)
title = '<title>MediaWiki code search</title>'
--
To view, visit https://gerrit.wikimedia.org/r/399378
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I9b89ac749f3bbb375f7e4c92b9048c346ebea4b2
Gerrit-PatchSet: 1
Gerrit-Project: labs/codesearch
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
