View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0006681 | mantisbt | feature | public | 2006-02-07 07:34 | 2006-02-07 07:34 |
Reporter | dma | Assigned To | |||
Priority | normal | Severity | tweak | Reproducibility | always |
Status | new | Resolution | open | ||
Product Version | 1.0.0rc5 | ||||
Summary | 0006681: easier subscription to RSS feeds on "Manage Filters" page | ||||
Description | The RSS feeds displayed on the "Manage Filters" page (query_view_page.php) I include a patch rss.diff that adds this functionality. | ||||
Additional Information | Description of the patch: The functions html_rss_link() and html_set_rss_link() in html_api.php
And add a call to html_head_other() in html_page_top1():
Then, add the following loop to query_view_page.php, foreach( $t_query_arr as $t_id => $t_name ) { Finished. Enjoy the new feature. | ||||
Tags | No tags attached. | ||||
Attached Files | rss.diff (1,290 bytes)
*** mantis-1.0.0rc5/query_view_page.php Tue Feb 7 12:52:14 2006 --- mantis-1.0.0dma/query_view_page.php Tue Feb 7 12:53:01 2006 *************** *** 27,32 **** --- 27,38 ---- compress_enable(); + foreach( $t_query_arr as $t_id => $t_name ) { + $rss_url = 'issues_rss.php?project_id=' . helper_get_current_project() . '&filter_id=' . $t_id; + $rss_link = "<link rel=\"alternate\" type=\"application/rss+xml\" title=\"" . $t_name . "\" href=\"$rss_url\" />"; + html_head_append($rss_link); + } + html_page_top1(); html_page_top2(); *** mantis-1.0.0rc5/core/html_api.php Tue Jan 10 12:38:07 2006 --- mantis-1.0.0dma/core/html_api.php Tue Feb 7 13:00:52 2006 *************** *** 93,101 **** --- 93,112 ---- include( config_get( 'meta_include_file' ) ); html_rss_link(); html_title( $p_page_title ); + html_head_other(); html_head_javascript(); } + function html_head_other() { + global $g_head_other; + echo $g_head_other; + } + + function html_head_append( $p_header ) { + global $g_head_other; + $g_head_other = $g_head_other . $p_header; + } + # -------------------- # Print the part of the page that comes after meta tags, but before the # actual page content | ||||