From c4f6755f61db38949d55ef7706adbc108f6acc3d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fr=C3=A4nk=20Klein?= <contact@fklein.info>
Date: Tue, 30 Dec 2014 14:53:42 +0100
Subject: [PATCH] Remove home link from wp_page_menu() args.

---
 inc/extras.php | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/inc/extras.php b/inc/extras.php
index 02bdeea3..2adab692 100644
--- a/inc/extras.php
+++ b/inc/extras.php
@@ -7,18 +7,6 @@
  * @package _s
  */
 
-/**
- * Get our wp_nav_menu() fallback, wp_page_menu(), to show a home link.
- *
- * @param array $args Configuration arguments.
- * @return array
- */
-function _s_page_menu_args( $args ) {
-	$args['show_home'] = true;
-	return $args;
-}
-add_filter( 'wp_page_menu_args', '_s_page_menu_args' );
-
 /**
  * Adds custom classes to the array of body classes.
  *