Remove workaround for PHP bug #49692

PHP bug #49692 [1] affects only PHP 5.3.0 and was fixed in PHP 5.3.1.
I think it is time to remove the workaround as PHP version 5.3.0 is
end-of-life for a long time now and even Debian old-stable comes with
PHP 5.3.3.

[1] <http://bugs.php.net/bug.php?id=49692>

README

@@ -24,16 +24,8 @@
 
     See the monobook template website for update instructions [2].
 
-    NOTE: If everything will be displayed unformatted, your PHP environment is
-          probably affected by PHP bug #49692 [3]. You may find errors like
-          "syntax error, unexpected '/' in ../../lib/tpl/monobook/style.ini on
-          line XX" in your PHP logs when this is the case. monobook provides a
-          workaround for this, simply delete monobook's "style.ini" to trigger
-          the template to use it.
-
     [1] <https://www.dokuwiki.org/template>
     [2] <https://www.dokuwiki.org/template:monobook#update>
-    [3] <http://bugs.php.net/bug.php?id=49692>
 
 
 

main.php

@@ -140,8 +140,8 @@
  * NOTE: This function is heavily inspired by "writeMBPortlet(), context.php" of
  *       the "Monobook for Dokuwiki" template by Terence J. Grant.
  *
- * @param array The tab data to render within the snippet. Each element
- *        is represented through a subarray:
+ * @param array The tab data to render within the snippet. Each element is
+ *        represented by a subarray:
  *        $array = array("tab1" => array("text"     => "hello world!",
  *                                       "href"     => "http://www.example.com"
  *                                       "nofollow" => true),
@@ -281,7 +281,7 @@ function _monobook_renderTabs($arr)
  *       the "Monobook for Dokuwiki" template by Terence J. Grant.
  *
  * @param array The box data to render within the snippet. Each box is
- *        represented through a subarray:
+ *        represented by a subarray:
  *        $array = array("box-id1" => array("headline" => "hello world!",
  *                                          "xhtml"    => "I am <i>here</i>."));
  *        Available keys within the subarrays:
@@ -361,8 +361,8 @@ function _monobook_renderBoxes($arr)
 /**
  * Helper to render the footer buttons (like a dynamic XHTML snippet)
  *
- * @param array The button data to render within the snippet. Each element
- *        is represented through a subarray:
+ * @param array The button data to render within the snippet. Each element is
+ *        represented by a subarray:
  *        $array = array("btn1" => array("img"      => DOKU_TPL."static/img/button-monobook.png",
  *                                       "href"     => "https://andreashaerter.com/",
  *                                       "width"    => 80,
@@ -473,15 +473,6 @@ function _monobook_renderButtons($arr)
 tpl_metaheaders();
 echo "<meta name=\"viewport\" content=\"width=device-width,initial-scale=1\" />";
 
-//manually load needed CSS? this is a workaround for PHP Bug #49642. In some
-//version/os combinations PHP is not able to parse INI-file entries if there
-//are slashes "/" used for the keynames (see bugreport for more information:
-//<http://bugs.php.net/bug.php?id=49692>). to trigger this workaround, simply
-//delete/rename monobook's style.ini.
-if (!file_exists(DOKU_TPLINC."style.ini")){
-    echo  "<link rel=\"stylesheet\" media=\"all\" type=\"text/css\" href=\"".DOKU_TPL."bug49642.php".((!empty($lang["direction"]) && $lang["direction"] === "rtl") ? "?langdir=rtl" : "")."\" />\n"; //var comes from DokuWiki core
-}
-
 //include default or userdefined favicon
 //
 //note: since 2011-04-22 "Rincewind RC1", there is a core function named

mediamanager.php

@@ -33,15 +33,6 @@
 tpl_metaheaders();
 echo "<meta name=\"viewport\" content=\"width=device-width,initial-scale=1\" />";
 
-//manually load needed CSS? this is a workaround for PHP Bug #49642. In some
-//version/os combinations PHP is not able to parse INI-file entries if there
-//are slashes "/" used for the keynames (see bugreport for more information:
-//<http://bugs.php.net/bug.php?id=49692>). to trigger this workaround, simply
-//delete/rename monobook's style.ini.
-if (!file_exists(DOKU_TPLINC."style.ini")){
-    echo  "<link rel=\"stylesheet\" media=\"all\" type=\"text/css\" href=\"".DOKU_TPL."bug49642.php".((!empty($lang["direction"]) && $lang["direction"] === "rtl") ? "?langdir=rtl" : "")."\" />\n"; //var comes from DokuWiki core
-}
-
 //include default or userdefined favicon
 //
 //note: since 2011-04-22 "Rincewind RC1", there is a core function named

style.ini

@@ -27,8 +27,6 @@
 
 [stylesheets]
 ; screen
-; note to myself: don't forget to respect the workaround within "bug49642.php"
-;                 when adding new screen styles.
 ; load the DokuWiki styles. See <http://j.mp/eq8zSo> why I am doing this.
 static/3rd/dokuwiki/_imgdetail.css        = screen
 static/3rd/dokuwiki/_media_popup.css      = screen
@@ -60,8 +58,6 @@ user/screen.css       = screen
 ;                 I think this function is silly (cause therefore we got
 ;                 different "media" but some people *always* searching for such
 ;                 print version links). Good text about this: <http://j.mp/6r3Kgf>
-; note to myself: don't forget to respect the workaround within "bug49642.php"
-;                 when adding new print styles.
 ; load the DokuWiki styles. See <http://j.mp/eq8zSo> why I am doing this.
 static/3rd/dokuwiki/print.css = print
 
@@ -74,9 +70,6 @@ user/print.css       = print
 
 
 ; right-to-left
-; note to myself: don't forget to respect the workaround within "bug49642.php"
-;                 when adding new rtl styles.
-
 ; load the most important MediaWiki monobook styles
 static/3rd/monobook/rtl.css = rtl
 
@@ -95,9 +88,6 @@ user/rtl.css       = rtl
 ;--------------------------------------------------------------------------
 ;------ guaranteed dokuwiki color placeholders that every plugin can use
 ; main text and background colors
-;
-;note to myself: don't forget to respect the workaround within "bug49642.php"
-;                when changing values in here.
 __text__           = "#000"
 __background__     = "#fff"
 ; alternative text and background colors