From 4c343386e451d6ba42889eef4ea45215f566e078 Mon Sep 17 00:00:00 2001
From: Jon Atkins <github@jonatkins.com>
Date: Thu, 29 Aug 2013 21:49:53 +0100
Subject: [PATCH] add 'post office' and 'us post office' to the list of poor
 generic portal names

---
 plugins/portal-highlighter-infrastructure.user.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/plugins/portal-highlighter-infrastructure.user.js b/plugins/portal-highlighter-infrastructure.user.js
index 2b102244..fece76e8 100644
--- a/plugins/portal-highlighter-infrastructure.user.js
+++ b/plugins/portal-highlighter-infrastructure.user.js
@@ -24,6 +24,8 @@ window.plugin.portalInfrastructure = function() {};
 window.plugin.portalInfrastructure.badTitles = ['^statue$',
                                                 '^fountain$',
                                                 '^sculpture$',
+                                                '^post office$',
+                                                '^us post office$',
                                                 '^church$',
                                                 'untitled',
                                                 'no title'];