Editar arquivo de texto

[rcp 0]

Fala pessoal...

 

Eu tenho um arquivo de texto...

oi.txt

que contem...

 

windows|12

linux|32

outros|43

queria saber como eu posso editar os valores....

tipo aumentar a quantidade de votos do "windows".. ou de qualquer outro...

 

valeu...

[walace 1]

Leia sobre as funções para manipulação de arquivos em br.php.net:

 

http://br.php.net/manual/pt_BR/function.fopen.php

http://br.php.net/manual/pt_BR/function.fread.php

http://br.php.net/manual/pt_BR/function.fwrite.php

 

e também http://br.php.net/manual/pt_BR/function.explode.php ou http://br.php.net/manual/pt_BR/function.substr.php para manipulação de strings.