Hmm, by the looks of the code you patch checks for things in:
local/theme/static/{$filename}
Whereas mine allows for finding a css file by whatever name you want to give it.
In my example in the comments in local lib it shows how you could have a local style.css file for each of the installed themes.
But you theoretically could pass back any path to a css file, which could be useful if a mahara site was part of a larger site and you wanted to include the larger site's css without having to create a new theme.
Hmm, by the looks of the code you patch checks for things in:
local/ theme/static/ {$filename}
Whereas mine allows for finding a css file by whatever name you want to give it.
In my example in the comments in local lib it shows how you could have a local style.css file for each of the installed themes.
But you theoretically could pass back any path to a css file, which could be useful if a mahara site was part of a larger site and you wanted to include the larger site's css without having to create a new theme.