james/fembooru
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

rename "index" to "pool index" to help differentiate between the two index links

Browse Source
This commit is contained in:
Daku 2014-05-31 18:20:57 +01:00
parent 183a2c7ae6
commit 90232b0a4c
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
ext/pools/theme.php
View File

@ -138,7 +138,7 @@ class PoolsTheme extends Themelet {
$nav_html = '<a href="'.make_link().'">Index</a>'; $nav_html = '<a href="'.make_link().'">Index</a>';
$poolnav_html = ' $poolnav_html = '
<a href="'.make_link("pool/list").'">Index</a> <a href="'.make_link("pool/list").'">Pool Index</a>
<br><a href="'.make_link("pool/new").'">Create Pool</a> <br><a href="'.make_link("pool/new").'">Create Pool</a>
<br><a href="'.make_link("pool/updated").'">Pool Changes</a> <br><a href="'.make_link("pool/updated").'">Pool Changes</a>
'; ';