diff options
Diffstat (limited to 'functions.js')
| -rw-r--r-- | functions.js | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/functions.js b/functions.js index 9858608ca..99efbcbac 100644 --- a/functions.js +++ b/functions.js @@ -574,15 +574,6 @@ function hideOrShowFeeds(doc, hide) { } -function fatalError(code, params) { - if (!params) { - window.location = "error.php?c=" + param_escape(code); - } else { - window.location = "error.php?c=" + param_escape(code) + - "&p=" + param_escape(params); - } -} - function selectTableRow(r, do_select) { r.className = r.className.replace("Selected", ""); |