diff --git a/contrib/pools/theme.php b/contrib/pools/theme.php
index ea993e46..f8aa4f48 100644
--- a/contrib/pools/theme.php
+++ b/contrib/pools/theme.php
@@ -17,8 +17,7 @@ class PoolsTheme extends Themelet {
foreach($pools as $pool) {
$h .= "";
}
- $editor = "
- ".make_form(make_link("pool/add_post"))."
+ $editor = "\n".make_form(make_link("pool/add_post"))."
@@ -35,15 +34,18 @@ class PoolsTheme extends Themelet {
*/
public function list_pools(Page $page, /*array*/ $pools, /*int*/ $pageNumber, /*int*/ $totalPages) {
global $user;
- $html = '
'.
- "".
- "Name | ".
- "Creator | ".
- "Posts | ".
- "Public | ".
- "
";
+ $html = '
+
+
+ Name |
+ Creator |
+ Posts |
+ Public |
+
';
$n = 0;
+
+ // Build up the list of pools.
foreach($pools as $pool) {
$oe = ($n++ % 2 == 0) ? "even" : "odd";
@@ -61,11 +63,11 @@ class PoolsTheme extends Themelet {
$html .= "
";
- $nav_html = "
- Index
-
Create Pool
-
Pool Changes
- ";
+ $nav_html = '
+ Index
+
Create Pool
+
Pool Changes
+ ';
$blockTitle = "Pools";
$page->set_title(html_escape($blockTitle));
@@ -114,11 +116,12 @@ class PoolsTheme extends Themelet {
$page->add_block(new Block(html_escape($pool['title']), html_escape($pool['description']), "main", 10));
}
else {
- $pool_info = "".
- "".
- "Title | ".
- "Description | ".
- "
";
+ $pool_info = '
+
+
+ Title |
+ Description |
+
';
$n = 0;
foreach($pools as $pool) {
@@ -189,10 +192,12 @@ class PoolsTheme extends Themelet {
if($user->id == $pool['user_id'] || $user->is_admin()){
$editor .= "
-
".make_form(make_link("pool/nuke"))."
@@ -204,7 +209,8 @@ class PoolsTheme extends Themelet {
if($check_all) {
$editor .= "
-
@@ -228,7 +235,8 @@ class PoolsTheme extends Themelet {
public function pool_result(Page $page, /*array*/ $images, /*int*/ $pool_id) {
// TODO: this could / should be done using jQuery
$pool_images = "
-
";
@@ -335,15 +344,16 @@ class PoolsTheme extends Themelet {
*/
public function show_history($histories, /*int*/ $pageNumber, /*int*/ $totalPages) {
global $page;
- $html = "".
- "".
- "Pool | ".
- "Post Count | ".
- "Changes | ".
- "Updater | ".
- "Date | ".
- "Action | ".
- "
";
+ $html = '
+
+
+ Pool |
+ Post Count |
+ Changes |
+ Updater |
+ Date |
+ Action |
+
';
$n = 0;
foreach($histories as $history) {